Suggestion: Edit options.txt direct in the console window

[FlosLetsPlay]

Editing the options.txt file directly in the console window and perhaps synchronising across multiple instances

[Trial97]

See #774 and #1077
At the moment neither is worked on but we accept pull requests that implement that(AI usage discouraged)