New way to store archives, more reliable (= same site).
Update 17.1 with latest erldocs improvements.