Not exactly; I mean, sure, he clearly doesn't care a massive amount, but if his only aim was to keep developing then he could always just give in and change the name without trying to get this PR out of it.