Right now we keep all the files pertaining to the documentation under docs of qMRLab/qMRLab. This makes the commit history of the main repo contaminated by the changes to these files.

Plus, changing the documentation on master can be only done through branching out/merging, which involves dev interaction, so cannot be achieved by pipelines.

If we have RTD sources in a separate repo, no

The parsec parser does allow to provide a "Feedback judgement" like this:

# Assignment 1: 10/10
## Feedback:
  * Good work!
## Task 1: 10/10

Then, we can extract the feedback using the CLI: