12-06-2020, 08:05 AM
(12-06-2020, 07:55 AM)evilbunny Wrote: I'd be happy to host them on my server until something better comes along.
I've already included external links to those PDF files in the wiki, so this is not a blocker, but having them "cached" would be a nicer option.
I suppose that using files.pine64.org, which I see used a lot, is out of question?