4 ms·I nominate this for best comment so far of 2022.by georgewsinger 5y agoI nominate this for best comment so far of 2022.