"Wikipedia devotes more pages to sports and films and games and other forms of entertainment than it does to mathematics, so it would be churlish to deny us our fun." . . . . . .