3 ms·Ah, never mind. I shouldn't post to HN too early in the morning.by teraflop 14y agoAh, never mind. I shouldn't post to HN too early in the morning.