No, “officialPlugins” is not a map anymore. :)