Disable backups

I thought it was a bug, but I think it's actually just that I installed
a new version of Coq.
Add a shortcut for [abstract ...] removal when abstract doesn't appear