My experiments with mathematics have improved Leo's rendering panes. They also showed me that I do not wish to live without computer programming. I can still contribute to Leo and other programming projects. I have no such belief about math.
I've now turned my attention to Rust. PR #4275 improves several colorizers, including new colorizer patterns and a fix for a giant performance bug. The Rust colorizer now delegates the coloring of "///" comments to modes/rest.py. Another PR will improve Leo's Rust importer.
Edward