This project employs code from the File Download extension for VS Code by Dario Fuzinato. Many thanks to him for his magnificent file-downloading code. Upon second thought, emptying the destination ...