3 ms·

Agreed, both of those are better. Hopefully one will gain traction. Thanks for the link, good to know people are thinking about the naming issues.