right. I wanted to add that after writing my comment and before posting it, but I got distracted and then forgot.<p>Thanks for the pointer.<p>(small anecdote about git bisect: I was talking about "git bisect" at work and a comment of a coworker clearly not interested in the marvel that is git bisect said: "bisect my ass". I probably don't have to explain you how often we are now using that phrase in various non-git related contexts)