@jjanvier Maybe we should add a simple check like?
```php
if ('---' == file_get_contents($file)) {}