Description

This PR #5029 reformatted large portions of the book due to the author's editor settings. It would be beneficial if we could define a standard format for the markdown, and check this on CI. I suspect there are several markdown linters/formatters we could choose from.

Steps to resolve

• Pick a markdown formatter and add a CI job that applies it to the book
• Ensure that the chosen formatter is consistent with the editorconfig settings (maybe we can also lint based on editorconfig)