Changing file name and file type

Doesn't need to be HTML since these were originally released on UseNet message boards. Any HTML that exists in the file will be preserved for posterity
This commit is contained in:
exarobibliologist 2022-09-05 09:58:24 -04:00
parent 1d6595f254
commit 527dc40153
3 changed files with 0 additions and 0 deletions