2 ms·

Can a mod change the title? It's slightly editorialized and very misleading. The actual case is pretty mundane...