Option(3o) on Linux

The text 070d55d1fc9b, as Debian 11 (Bullseye) shipped it.

Option values.

Option(3o) on Linux now