When the report speaks of newly allocated strings (vectors, bytevectors), 6.3.5 explains that this means ones containing newly allocated locations. However, empty strings (vectors, bytevectors) have no locations, so an implementation is free to make all of them EQ? (within the same type, that is) or not, as it sees fit. The report should say so.
TODO: add stats on what various implementations actually do.