All relevant documents:
Tip: use
as a properly timestamped file name instead of the default.
First hard-refresh this page [Ctrl+F5 or Ctrl+Shift+R] to obtain latest timestamp.
Then click the link as well as "Download anyway" in the screen that follows.
Finally paste the file name into the "Save as" dialog using Ctrl/V.
