そのほうがより安全なので良いのだけど。やるか、などと考えてたのですが、もう一生パスワードが分からない、というのも大変に気持ち悪い。ファイルを上書きしてみたのですがパスワードリセット復活せず。同様にファイル上書きしたところ、無事パスワードリセットのページを開くことが出来、、登録していたメールアドレス宛にメールが届きました。アップグレード、という泥縄な方法で何とかなりました。事前にやっておくこと、これが動かなかったら完全に詰む。