Doctree documentation: fix `<topic>` details, reorder category lists.