Mention ERT in the Emacs manual.