Documented `editor.autoreload` option.