This repository has been merged into Coradoc. See:

• https://github.com/metanorma/coradoc/

• https://github.com/metanorma/coradoc/tree/main/lib/coradoc/reverse_adoc