You're right. It will emit PluginMissingError; so, this code is overly cautious. Not a bad thing, but unnecessary.