jsbackus Up-rev'd man page.