+* `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`
+
+* `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.