Follow-up to last night’s gripe: on a Mac, there’s no difference between PictureDeleted.php and PIctureDeleted.php. On Linux (and therefore GitHub Actions), there is.