I know wget's available, but right now I have broken my apt, so I didn't feel like going after it... (I don't even know if it's in a repo or just a deb, and I know that you can manually pull debs out of repos and dpkg them, but I just don't care enough, since I'm reflashing (and this time putting OS on SD, etc.) in a couple days, when I know I'll have time for re-installing everything I need.)

Yeah, I'm lazy. Thanks anyway!