Extensions to `replace.el'