ParentFull threadmath-dev·In principle not too hard, in practice the topic comes up every few months and nobody has done it yetView on HN