Wikipedia's Jimmy Wales on where the name comes from

The site's co-founder speaks to the BBC for the online encyclopedia's 25th anniversary.