Undo as a command

This is now implemented in library version 0.38.