Vítor Henrique

> Hi, I would like to help you write the documentation for this. How can I get started? What do you need help with exactly? Hi! You can help in...

I think we can use a tip box instead of updating a table of contents, given that the GitHub one list subheaders. What do you think @sbrl @sebastiaanspeck @kbdharun?

> I would personally suggest not to mix and match HTML tags in Markdown files as it would trigger Markdown lint errors/warnings (we could set it to be ignored but...

Hi @kbdharun, just sending a friendly nudge on this important PR :)

> I do have an additional general question though. What happens in the case of a page edit? Do edited pages also get checked? Any file that was modified or...

Oops, I accidentally deleted test_pages when resolving the merge conflicts, I think I'm gonna fix this tomorrow.

Now, the CI script only tests files modifed by the PR, which made it quite a bit faster :rocket: I hope this part is working correctly.

Thanks for finding this issue, @kbdharun! I'll see when I have time to look into it.

> Have you checked if the commands support the options without `=`? Well, I assumed most programs suport this, I couldn't check at the moment, but I will test when...

I kept the equal sign in `chroot` because I can't test it yet but this PR is ready for review, we can fix the rest in another PR