That should help! I don't want to be humorless, just prevent anyone from accidentally using the article as a serious reference.

Thank you
Jeff

On Tue, Jul 5, 2022 at 10:50 AM Paul Eggert <eggert@cs.ucla.edu> wrote:
On 7/4/22 14:26, Jeff Epler via tz wrote:
> Maybe everyone was in on the joke, but I very nearly wasn't.

I installed the attached to make it less likely for future readers to be
fooled. I hope you don't mind leaving the joke in, as laughter is all
too rare in this project.