I'm an absolute greenhorn with debian so I'm sorry if this is stupid How do you download the linux file? When I download it, it downloads as an html file. I know it is not an html file, but what am I doing wrong? Everything else downloaded fine.