I notice that "opam publish" doesn't autoinstall the plugin (as occurs with depext). This is because the OPAM package name is "opam-publish" instead of simply "publish". Should we rename it, or duplicate the package metadata so that the autoinstallation works? -anil