colablikje

Thanks for your response. Unfortunately, it doesn't work. HOME was already set. It seems that something else is going wrong, unfortunately. Perhaps something specific to Windows? (perhaps: windows uses backslashes,...

Thanks, progress! This works, but some other error messages are now evoked. Let me copy the output here, can you see if I should make any further alterations to the...

I'll patiently wait until you find the time to solve this issue. Let me know if you need me to try anything specific. Update: In the meantime, I have tried...

this would indeed be a great feature, there's often a lot of useful material in the wiki part of a course. It also often includes links to material elsewhere, would...