[PATCH] Add HISTORY section to man pages.