3 ms·HN does, but it's still worth pointing it out, so the threads can be merged.by gwern 2y agoHN does, but it's still worth pointing it out, so the threads can be merged.