> Suggestions for a format to accommodate both the (scheme foo) names and
> the existing names?

Some sketching:

SRFI 1 has a de facto R6RS library-name (srfi 1 lists) and is also in
R7RS-large Red Edition:

(srfi 1)             ; the usual name
(srfi 1 lists)       ; de facto R6RS library-name
(scheme list)        ; R7RS-large, red edition

SRFI 133:

(srfi 133)           ; the usual name
(srfi 133 vectors)   ; de facto R6RS library-name
(scheme vector)      ; R7RS-large, red edition

SRFI 160 is a good test case since it's divided into so many libraries:

(srfi 160 base)        ; the usual names
(scheme vector s8)     ; ...
(scheme vector u8)

(scheme vector base)   ; R7RS-large, tangerine edition
(scheme vector s8)
(scheme vector u8)
(scheme vector s16)
(scheme vector u16)
(scheme vector s32)
(scheme vector u32)
(scheme vector s64)
(scheme vector u64)
(scheme vector f32)
(scheme vector f64)
(scheme vector c64)
(scheme vector c128)