Opera moving to WebKit brings up the same problem that nobody seems able to solve: is it WebKit, Webkit, or Web Kit?