git checkout v0123
git difftool v0123 v0158
are quite useful. Didn't know it had a performance impact.