Undeprecate some just-deprecated symbols in PluginManager.

Forgot about custom engines again :(