Gitk documentation: Lesser docs: