Typing out `</p>` manually will delete prior characters in the tag: 