In debian-installer/doc/modules.txt, the following is mentioned: Disallowed Header Options [...] * `|' in dependancies. But several packages, at least cdrom-detect and disk-detect, uses 'Depends: [...], discover-basic-udeb | discover-udeb'. Is it legal to use '|' in udebs, or is it forbidden?