3 ms·Absolutely correct. My comment was tongue in cheek, which in retrospect doesn't really belong on HN.by rapind 5y agoAbsolutely correct. My comment was tongue in cheek, which in retrospect doesn't really belong on HN.