Add hotfix man pages.