3 ms·

Thanks! It's not a throwaway, I've just been lurking for a few years and never needed to comment before.