I should add that this is not a general issue. I've not experienced it when
downloading other websites, so it may be specific to whatever server the
website in question is running on.