TODO: python stuff and freeze and standby
build-sys: check if manpage ids match file names

Commit ed1553a fixed current errors, but this error is easy to
make. A wrong id messes up the indexes and linking, so it is
better to catch this automatically.