Comment by blumentopf

Linus hasn't pulled it yet. (And it's doubtful whether he will.) It's just David Howells has requested him to do so.