Ignore the output of: git difftool --tool=latexdiff
Correct Oleg's latest contributions
Abstract, tweaked introduction and conclusion based on Judith's input