4 ms·I do not think he publishes it. But I would not be surprised if he sees this comment on HN.by tmaly 4y agoI do not think he publishes it. But I would not be surprised if he sees this comment on HN.