pasteeditor: add button to remove timestamps

Kind of a hack, but whatever. It’s useful when it doesn’t break.