Fix Zotero links to "pub-pdfs" URLs

[hjellinek]

We need to correct all Zotero links to interlisp.org URLs containing "pub-pdfs" so we can delete that pub-pdfs directory.

This is a placeholder ticket - @masinter to fill in.

[masinter]

over time, we have moved files around that are referred to in the bibliography. These files appear in the bibliography with URLs like

https://github.com/Interlisp/pub-pdfs/blob/gh-pages/test/test-env-inspector-hand-inspect-allrec.PDF

We want the "bibliography" to contain permanent records of historical documentation. The files in github and google drive are not "permanent". IN fact, I'd like to delete the old repositories. But I think we need to review the URLs and the cdriteria for picking a "permanent" location.

[hjellinek]

I think we agreed to this approach:

1. (Now) Make sure all pub-pdfs documents reside in Zotero.
2. (Much later) We will figure out how to serve all the documents in the bibliography to the public, via a proxy or other means.

@masinter, is this accurate?

[masinter]

We discussed this at the 11/4/24 meeting. There is an assumption that the Zotero database is (relatively) permanent, although it depends on our $20/month payment. I haven't surveyed the current Zotero database for "bad" URLs, but those with 'github' URLs that point to pub-pdf are probably only one part of the problem. The "files.interlisp.org" URLs would be better. Especially if we can get the HCFILES to also include a step of combining documents together into a single PDF (for multi-chapter TEdit documents where the sources are split into chapters).

There are also other problems to solve:

• Searching: The interlisp.org/search doesn't find documents in the bibliography. For Google search to find individual documents we could have a "landing page" with the metadata for just that document.
• Could we assign our own DOIs? provide DOI lookup for Interlisp source documents?

[pamoroso]

Could interlisp.org URL redirects work as DOIs?