On Tue, Jan 14, 2020 at 10:29 PM John Belmonte <john@neggie.net> wrote: > > Thank you-- fixed. It was likely due to an unexpected machine reboot on Pepperfish hosting. > And thanks to you for maintaining this great archive site!