Wikipedia founder Jimmy Wales has been shot dead, according to Wikipedia, the online, up-to-the-minute encyclopedia. World mourns.

(The report was corrected.)