The text 9e287f28ea46, as Debian 9 (Stretch) shipped it.
optional parts of the POSIX standard
posixoptions(7) on Linux now