+* `paste`: treat characters sent from the terminal in a single chunk as a paste
+ event rather than a series of manual key presses. If you are pasting using
+ the terminal keybinding (not Ctrl-v, which is micro's default paste
+ keybinding) then it is a good idea to enable this option during the paste
+ and disable once the paste is over. See `> help copypaste` for details about
+ copying and pasting in a terminal environment.
+
+ default value: `false`
+
+* `parsecursor`: if enabled, this will cause micro to parse filenames such as
+ file.txt:10:5 as requesting to open `file.txt` with the cursor at line 10
+ and column 5. The column number can also be dropped to open the file at a
+ given line and column 0. Note that with this option enabled it is not possible
+ to open a file such as `file.txt:10:5`, where `:10:5` is part of the filename.
+ It is also possible to open a file with a certain cursor location by using the
+ `+LINE,COL` flag syntax. See `micro -help` for the command line options.
+
+ default value: `false`
+
+* `permbackup`: this option causes backups (see `backup` option) to be
+ permanently saved. With permanent backups, micro will not remove backups when
+ files are closed and will never apply them to existing files. Use this option
+ if you are interested in manually managing your backup files.
+
+ default value: `false`
+
+* `pluginchannels`: list of URLs pointing to plugin channels for downloading and
+ installing plugins. A plugin channel consists of a json file with links to
+ plugin repos, which store information about plugin versions and download URLs.
+ By default, this option points to the official plugin channel hosted on GitHub
+ at https://github.com/micro-editor/plugin-channel.
+
+ default value: `https://raw.githubusercontent.com/micro-editor/plugin-channel/master/channel.json`
+
+* `pluginrepos`: a list of links to plugin repositories.
+
+ default value: ``
+
+* `readonly`: when enabled, disallows edits to the buffer. It is recommended
+ to only ever set this option locally using `setlocal`.
+
+ default value: `false`
+
+* `rmtrailingws`: micro will automatically trim trailing whitespaces at ends of
+ lines. Note: This setting overrides `keepautoindent`