Wiki editing

I wanted to update the Python 3 page on the wiki, but I'm given a choice
between a in-browser WYSIWYG editor and editing raw HTML. Neither of
these is very user-friendly to me (the default editor doesn't even
render correctly; the raw HTML editor puts the whole list of bullets in
one long source line — without LF characters after the <br/> tags). Is
there any way to get something that I can copy to $EDITOR, edit, and
copy back? I could add the linebreaks after <br/> tags myself (and hope
that doesn't break anything), but I'm hoping there's a more elegant way.

The edit I wanted to make was to move tools/dist/*backport* and
tools/dist/backport/* to "support Python 3".
Received on 2019-12-11 03:22:53 CET