Hi, we use the plain HTML instead of markdown syntax at lexicon.md, this is not friend to contribution a bit, and the 2nd question is hard to reference a specific definition, which is a very common usage at other glossary tables.
So I'm curious why do we maintain in the HTML way, does a PR to change to markdown headings looks good if I want to contribute to?