3 ms·

I think misrepresenting the contents in a dump in such a way as happened here would qualify as something worthy of a retraction.