I was very happy to receive pull requests (1, 2) to the forest, with some interesting math: Hausdorff Lifting for Metrics and Relations, and Dependent optics. Thanks @Eigil and Ralph Sarkis (I’m not sure if Ralph has a localcharts account?)!
And as a reminder: you can put \meta{comments}{true} at the top of your page to enable cross-posting to the discourse forum, and then comments on the discourse forum get mirrored to your page.