Deleting footnotes

[Reuben Thomas]

Pressing Delete over a footnote marks the document as "changed" even
though nothing happens (except the cursor moves).

-- 
http://www.cl.cam.ac.uk/users/rrt1001/ | certain, a.  insufficiently analysed