gen-manual-lists.py: fixup after 2440385 (config: reorder top-level menu)

Signed-off-by: Peter Korsgaard <jacmet@sunsite.dk>
Merged in upstream master branch