No, but he explained that the problem would have been easier to solve on Linux.

Not sure it would have been for a normal computer user though; I for one know how to SSH on my homeserver, but I don’t know how to do that on my desktop Linux.

Done :-)

Thanks for the advice! Here’s the archive then: https://archive.ph/sDvch.

Strange, it’s not paywalled for me. Does this community allows to paste whole articles?

One attendee told me they heard about it through word of mouth, which makes sense.