Remove unused registry types from LANGUAGE_TO_REGISTRY_TYPE#3527

mbg wants to merge 2 commits intomaingithub/codeql-action:mainfrom

mbg/start-proxy/remove-unusedgithub/codeql-action:mbg/start-proxy/remove-unusedCopy head branch name to clipboard