chiark / gitweb /
Map Ctrl-Shift-Z to Redo.