I totally agree with the article. I have been working (as a university project) on a semantic markup language which has a well defined, user specified semantics

I totally agree with the article. I have been working (as a university project) on a semantic markup language which has a well defined, user specified semantics (comparable to a DTD, yet much easier to write) with user definable syntax and a TeX-esque markup language, which deduces as much structure as possible from the DTD, allowing users to write very little while still being able to transform the document into a semantic graph structure which can (theoretically) be transformed to any output format. While the software we've developed is fully usable and quite mature (including clang-like error messages), there is virtually no documentation. However, a poster and a presentation of the project, along with all source code (including the source code of the website) can be found at https://ousia-framework.org/ https://ousia-framework.org/ I'm looking forward to continue the project as soon as I find some time.