On 05/08/2018 05:20 AM, Alexandre Oliva wrote: > How about replacing the current joke with: > > there used to be a joke about censorship here, but > Aborted (core dumped) That is actually quite witty and maybe an accurate description of the current situation. Siddhesh