regexp: adding re-replace-with.
html.entities: switch to using re-replace-with.