(The download button doesn’t seem to be working; it opens a new tab and then immediately closes it without doing anything)
All better!
