For what it's worth, I don't like the name change either. It looks like a college prank to me. But, as far as OpenBSD is concerned, Theo is the boss.