emphasize that the `php-options` are optional.