Man, what a hassle - can't update a bad file, and can't delete it. >.<
Thank God for wget, though. That was the only way I could get the file: use my linux-based server to wget it.
Thank God for wget, though. That was the only way I could get the file: use my linux-based server to wget it.