RevealJS resources obtained via Python script

[rbeezer]

There is a routine in pretext/pretext to build a slideshow.

The publisher variable that switches between CDN and local resources for RevealJS stuff could be interrogated (with a new routine for just this sort of thing). Then requests could be used to grab them and we park them in teh right spot. Saving authors/pubishers a bit of tedium.

(All a bit speculative, I've not reminded myself about some of the code.)

Perhaps for @sean-fitzpatrick?

[sean-fitzpatrick]

I almost added the zip format but there was one but at the end of the HTML zip routine that I didn't fully understand so I decided to leave it for later.

I might be able to figure out the requests part by mimicking other places where it's used.

But I'd need to know more about how the local resources work.