The 5 minute demo video (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.