Previously, a setting of `--max-backjumps=-1` was reported in
the debug output as `0`. But `0` has a very different meaning,
and that is confusing.