Oh nice! Mine has left-shift and right-shift, I mapped right-shift to ctrl long ago (so I can use screen when ssh'ing from my phone) but never thought to try - undo (and redo, ctrl+y) both work here too.