I pulled the current master (which I hadn't done for several months) and now just realized that I can't delete text via Backspace anymore. This is a bug. It worked in the past, althrough I can't name the exact commit I had previously checked out, which worked.