[gf000]

All the typesetting extensions and such are a community effort. There are so many specific use cases that can only be/will be done by very specialized academics that a non-networked product would die on the vine.