Update hippy docstring, since <file.php> is now optional.