I’d like to either improve the CSS for odoc, write some material/examples on how some of the stuff on Language Extensions works, and/or write some material/examples on how to use Base Maps/Sets.
For the last 2, what would be an appropriate venue for that? It doesn’t seem like the documentation for either one lends itself to examples/explanation.