Update and fix options in data/micro.json and runtime/help/options.md#3985

omarelladen wants to merge 5 commits into

micro-editor:mastermicro-editor/micro:masterfrom

omarelladen:masteromarelladen/micro:masterCopy head branch name to clipboard