> If (srfi |1|) were to be standardised via SRFI process or RnRS (maybe 
> implicitly as a ‘module names equality is to be done modulo 
> number/symbol conversions’ thing in a future R8RS), then (srfi |1|) 
> would be fine, but such a thing.

Looks like I didn’t finish the sentence: ‘but such a thing -> but such a thing hasn’t happened yet’.