Lets add a joke to the manual

[Mark Wielaard]

On Mon, May 07, 2018 at 08:50:55PM -0300, Alexandre Oliva wrote:
> How about replacing the current joke with:
> 
>   there used to be a joke about censorship here, but
>   Aborted (core dumped)

Haha! Thanks for that.

I was afraid the discussion had become poisonous, but this is
a great suggestion. Want to propose an actual patch?
We might actually be able to get consensus on it!

Cheers,

Mark