It states that it can’t save to file /. This doesn’t make sense - I saved it to $HOME/Documents.
Oh, turns out that the error occurred because I used a space in the file name. This is a bug. I’ll file it tomorrow.
@rokejulianlockhart use a \ for space designation, I feel it will be rejected (this is linux not windows), but rock on… 
2 Likes