groff_diff(glossar.html) - phpMan