De-doxygenize some top-level files