The text 0cf3886da255, as Debian 11 (Bullseye) shipped it.
continuation solver options (rheolef-7.1)
continuation_option(3rheolef) on Linux now
