Hi Josh,
I did exactly that after not seing alternatives. It seemed illogical as I thought workspace was a common shared repository and seemed redundant work. I am sure there is a perfectly good reason why this is not the case. Thanks for such quick feedback, as I did not look forward to telling our 10 or so students to do potentially unnecessary work.
-Emil