* htdocs/top.php: clean