On Thu, Oct 31, 2019 at 8:25 PM Glenn Morris 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.