Otherwise, the manager may install a newer version of Plover in the plugins directory, which can break some use cases...