discussed on src-committers. This is intentionally not included in the usage() function as it would confuse the output too much. Approved by: jhb MFC after: 1 week