If you are interested in reusing my annotations, let me know and I
could try to export it into something more standard (say standard
S-expressions or JSON.)