Also ping @Raymond:.
We can delete them here but it's pointless, after they've been exported. There's only 24 hours time before MediaWiki translations are exported. We can fuzzy them.