CI bot performs redundant actions that pollute commit history

[egasimus]

One step forward...

...one step back.

There are a lot of commits like that, which are prone to induce unnecessary merge conflicts/rebases (incl. on PR #276).

[ccamel]

@egasimus Yes that's true. Our bot is being a bit overzealous in markdown autocorrection. I believe that, just like the linter excludes all generated documentation from evaluation, it should do the same for autocorrection to leave those files untouched.