On Thu, Oct 31, 2019 at 8:25 PM Glenn Morris <rgm@gnu.org> wrote:

> I would remove the whole file, which is basically "a few things that
> amused someone over a decade ago".

Same for etc/JOKES and etc/future-bug, I suppose.