chore: track files not referenced by docussaurus

[lucaaamaral]

Problem

The files to be displayed in the Docussaurus needs to be included in the sidebars.json file. If the file is not included there, it might not be displayed. Docussaurus documentation.

Solution

Track them down & fix that.
A CI check for files not referenced would be a plus. Content in this PR might solve this issue: magma/magma#15152

Non-goals

[lucaaamaral]

Although the workflow introduced by #13 checks for reference to new files, we still do not have a way of checking on pre-existing ones.

Suggestion: modify this script, adding the possibility to run locally against all markdown files.

[see7e]

Although the workflow introduced by #13 checks for reference to new files, we still do not have a way of checking on pre-existing ones.

Suggestion: modify this script, adding the possibility to run locally against all markdown files.

This is adressed at #14

PR closed due to replacement of the script with Docusaurus own sasnity checks and additional Markdown linters.