Many thanks, I'll chalk this one down to "something learned" and "not a problem"!
I started to put together a post about my experiences of using Linux for the first time for that forum, then decided to delve into any unresolved things to make sure I understood them first, but only doing two posts at once this time! This one was easy to cross off.
My other current one is about changing the drive where the Desktop is stored and whether I need to reset ownership and permissions on that drive. Then I can move on to the fun of changing the file manager - Nautilus seems far inferior to Nemo and Thunar. (Whereas Dolphin seemed worse.)
