Draft: Fix up stray keys

Raffaelerequested to merge
wip-stray-keys into master

i.e., add them to schema or migrate them fi they don't exist anymore.

This includes a checker for stray keys (present in YAMLs but not in schema.py) to check.py

Merge request reports