Added mistake counter functionality and applied changes to report it in the saved documents.

May still need some extentions based on more incoming info, currently only a very limited understanding of all that is needed. So there is limited functionality.

assigned to @T.vanAlfen

merged

mentioned in commit 42b0bc9e