Currently, strings and escaped symbols in vertical lines accept the same escape sequences, except that \| works in symbols but not in strings. The proposal is to allow \| in strings as well, even though it is technically never necessary. We already allow \" in escaped symbols, though it too is technically never necessary.
This allows an implementation to share the same escaping and unescaping code between symbols and strings.
Treating as editorial.