Notes on Git history for lines in a file
More work on builtin undo debugging