One more piece of data here: changing all / to \ in all the text I’ve tried (including the above examples) generates the alternatives I’d expect, except for “\” (single backslash in quotes) which still doesn’t get quoted.
You are right that the treatment of the slash character in 2020 does not accommodate its participation in “foreign-word” sequences. The bug is now fixed in the upcoming 2023 release of the ERG.