Nice summary. My only observation is that, in practice gitk --all and gitk -- <filename> have completely replaced their git log equivalents for me (and are more universally available than $RANDOM_GIT_GUI).