3 ms·

I didn't mean it as criticism. It was three months ago, so it'd be fine to repost even if there was search. I just wanted to cite earlier discussion.