Instead of use 'docs/*.md' in dep5. For clarity and avoiding a wide- matching wildcard. + Remove mention of old files from .reuse/dep5 + add info to .github/dependabot.yml + make scripts/copyright.pl warn on non-matching patterns Closes #13245
Just to underscore how we treat each other in this project. Nothing new really, but could be useful for newcomers and outsiders to see our values.