groff_diff(phpman.html) - phpMan