On Wed, Dec 23, 2015 at 1:20 PM, Paulo van Breugel <p.vanbreugel at gmail.com> wrote: > The alternative (and more direct) way to download is to click the little > download icon next to the link. But not sure it is worth adding that? Why not. Just go ahead... Markus