Highlights keys in `registry.properties` that are not allowed in the platform registry and must be moved to plugins.