course PDFs downloads facility

[kohlhase]

The Flams viewer has gained the ability to serve the generated PDFs (the URL with &format=pdf at the end; e.g. the SMAI notes), and that would make unnecessary the current practice of generating PDF notes manually and hosting them at https://kwarc.info/teaching (and keeping me from always forgetting to update them). I would just have to take care of migration of new course content to ALeA.

There should be a general way of serving the PDFs associated with the course. AND more importantly a very good way for the students to find them. I am initially thinking another blue button "Downloads" in

that leads to a "downloads page" (that might be configured/populated from the archive.json):

Note that the course PDFs may include much more than just the course notes (based on that we hosted on kwarc.info before):

• the slides-only versions of the notes (they are still necessary as the slide shows do not work well in the notes).
• the old exams
• the current homework assignments (although I am not sure that we need PDFs for them).
• some tutorials, PDF textbooks, and documentations of systems we use in the course (some of them would better be in ALeA, ... but some of them are external, ...)
• bits and pieces of the slides and notes (so that they are easier to handle for the students). These are probably un-necessary with new downloads facility.

[Jazzpirate]

Note: the pdf-doqnload-url for any given document URI is https://mathhub.info/doc?uri=<URI>&format=pdf; meaning notes/slides can be made downloadable immediately.

For a "donwloads"-section there are things being mixed here that are conceptually very different. Downloading notes, slides, old exams etc is "just" a matter of collecting the mathhub-links, since those are generated by mathhub anyway and kept up to date "automatically" by migrating. The current homework assignments are not on mathhub, and probably, or at least often, shouldn't be, because that would make them public and they would leak solutions.
PDF textbooks are not at all generated or served by mathhub, so those would need to be external links to some place else, or else ALeA would need an upload facility (not sure if we want to abuse ALeA as a cloud storage).

"These are probably un-necessary with new downloads facility." <- that I do not understand.

Either way, this, it seems to me, calls for another field in the archives.json; in which case mathhub could already resolve relative document links to mathhub.info/doc?-URLs, so ALeA wouldn't have to differentiate.