Quick links: content, navigation, search.
Fix --dbg-file and --dbg-function usage. However there is something weird on MacOS X still...