Merge branch '388-rules-for-extension-keys-documented-differently-on-docs-typo3-org-and-extensions-typo3-org' into 'develop' Resolve "Rules for extension keys documented differently on docs.typo3.org and extensions.typo3.org" Closes #388 See merge request !673