⁹There is a copy of this Emacs Lisp file with the Maude distribution just in case your Emacs distribution lacks it.