Help: `{<…> | <…>}` → `<…|…>`

The form of alternative names for "placeholders" has been used already
(e.g., `<file|dir>` in the `cmake(1)` manual).
3 files changed