I know. But the best way to avoid that would be, IMHO, to
rename it not to use /. We could just rename it to #F and then
it would work.