Indeed, originally the separator used for storage was the first character from `$sep`, but that changed to always be `|` at some point.