Get a file does not work in Safari
When used Get a file it will show: "Got boot.py, 160 bytes" but file will not be downloaded.
In console it will print this warning: Non user-triggered activations of anchors that have a download attribute are ignored.
Safari Technology Preview Release 16 (Safari 10.1, WebKit 12603.1.10)
WebREPL is using FileSaver.js to save files https://github.com/eligrey/FileSaver.js. It seems that Safari support has some issues: https://github.com/eligrey/FileSaver.js/issues/12 . Maybe you can try the latest version of FileSaver.js to see if anything improves? Otherwise it's not really possible for me to fix this because I don't have access to Safari.
I'm facing this problem as well currently. It has to do with Safari instead of FileSaver. see https://github.com/eligrey/FileSaver.js/issues/282