3 ms·No, except in random comments on HN sometimes. Perhaps indeed I should write it all up.by jwr 3y agoNo, except in random comments on HN sometimes. Perhaps indeed I should write it all up.