This is pretty much a workaround for incomplete tools, but having the man
page names in upper case looks more natural anyway.