Jan,
Apparently there is no interest in this. Pity.
I'll stay subscribed one week from now (longer if there is any response at all).
Sorry - your stuff is great, it is just that... volunteer priorities are pretty mixed, and they tend to forget. :-) We definitely want this code to replace our current math rendering - it just needs attention and dev time (I personally would have to install all ocaml environments to test ;-)
BR,