groff_diff(index.php) - phpMan