The text ebde103e8b7a, as Debian 10 (Buster) shipped it.
set and get form options
set_form_opts(3form) on Linux now
