Subject: Re: bug#38002: Please remove this joke

From: Glenn Morris <[email-masked]>
Date: Thu, 31 Oct 2019 15:24:23 -0400

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