4 ms·Maybe they are just trying to optimize for pedantry.by stock_toaster 15y agoMaybe they are just trying to optimize for pedantry.