can we leave this as `opam remote`? That alias just causes confusion...