The 5 minute demo video (https://www.youtube.com/watch?v=yYcQf-Yq8B0 https://www.youtube.com/watch?v=yYcQf-Yq8B0) is compelling. Among other features, it shows

The 5 minute demo video (https://www.youtube.com/watch?v=yYcQf-Yq8B0 https://www.youtube.com/watch?v=yYcQf-Yq8B0) is compelling. Among other features, it shows generation of a glossary of "nonce" words (paper specific terms) and equation diagrams (mouseover the equations to see the terms defined in place). The available implementation does not appear to have all that in it yet.