Markdown lint during CI
This is a followup from !1349 (comment 1476989961).
We should add markdown lint to CI, probably using https://github.com/DavidAnson/markdownlint.
This is a followup from !1349 (comment 1476989961).
We should add markdown lint to CI, probably using https://github.com/DavidAnson/markdownlint.