No, I think those are the Windows people who put / in the file names, because back then Windows wasn’t really restrictive about stupid file names. At least I think it isn’t possible anymore, but can’t confirm, because I don’t use Windows for around 15 years.