Fix 2 small formatting error of default value in options.md#3615

JoeKar merged 1 commit into

micro-editor:mastermicro-editor/micro:masterfrom

antoine2711:patch-1antoine2711/micro-editor:patch-1Copy head branch name to clipboard