Doc updates
Remove obsolete 'force_redraw' option.

If it turns out someone still needs it, just fix the bug; 'fred' was never a
 good idea, it was just a clumsy workaround.