Great thanks for that.
I’ll make a note and we’ll get it in the manual.
Thanks, and if you want to be even more detailed you could say that it appears to be possible to share other mounts from other directories, but from what I’ve seen it’s a bit of trouble to configure inside of Docker. (Maybe an experienced Docker developer would call it a doddle, but a week ago I hadn’t even downloaded it.)
1 Like