If you use Google Chrome, you could download an extension from the Chrome Web Store called the 'Free Download Manager'.
With that downloaded & enabled in the browser, you just have to click the links on Giles' blog post and it will pull the download neatly.
Read More...
© 2003-2022 by INDI Library. All rights reserved.