Ben Reiniger wrote on Mon, Nov 28, 2022 01:50 PM EST:
I suspect some people will still get along better with a WYSIWYG editor than with markdown, even with the quick guide. Is it worth considering other editors? There's StackExchange's open-source editor "Stacks-Editor," but it's quite new (still in an open beta?).
I agree that mangling whitespace, even when we generally prefer non-ASCII diagrams, is a serious offense.
I suspect some people will still get along better with a WYSIWYG editor than with markdown, even with the quick guide. Is it worth considering other editors? There's StackExchange's open-source editor "Stacks-Editor," but it's quite new (still in an open beta?).
I agree that mangling whitespace, even when we generally prefer non-ASCII diagrams, is a serious offense.