emphasize that the `php-options` are optional.

Just noticed that @javiereguiluz already proposed a fix: #27