The "log" window shows which branches contain any given commit .
Except if the HEAD of that branch is chosen, in which case that branch
is filtered out.
gitk correctly displays the branch even if the tip is chosen.
If anything, the branch(es) should be highlighted when the tip of that
branch is selected, but in any case they should be dropped.
final phrase should have been: "but in any case they should _not_ be dropped.