Hmm... if they're on Android there are apps in Fdroid or Play Store that let you download arbitrary files. Kind of annoying Firefox doesn't have that function