The text d7aa6f5c7e93, as Debian 9 (Stretch) shipped it.
saves the option state to a file
optionSaveFile(3) on Linux now
