0.250b

(i) Minor tweaks to user guide.
ii) Made "debugoff" the default; the user guide until now incorrectly
claimed that "debugoff" was the default, but that wasn't the case!