In other words, it appears that there never really was a need for the inconsistent vertical bar in the modifier list, and a space can be used.
Ayup, I just looked in gram.y and found that the | is simply ignored (see the "key" rule and you'll see a line saying just "| OR {}"). I never noticed this before...
Cheers, Richard
