Jokes and Humour in the Public Android API