Fix settings docs for tracebacks in console