History 4Pane-HEAD-0002-Add-the-man-page-to-git.patch