I’ve just done https://a.tile.openstreetmap.org/19/172894/246560.png/dirty which normally has no effect (because the tile server is too busy) but just now seems to have worked.