There is a (temporary) discrepancy between editor and documentation, for the python.microbit.org hosted editor.

Currently the v1 editor has v0.9 MicroPython baked inside it. The latest version of docs at readthedocs is for the V1 MicroPython image. Thus our users will be confused when they try something in the web editor and the docs are different.

I know this is a temporary transient state that will be fixed soon. However, with new term starting next week and many teachers planning to use Python in their lessons, it would be great if we could paper over this transient state carefully to give them the best possible Python experience.

I wanted to suggest a (potentially quick) fix.

There is currently no way to get directly from the web editor to the readthedocs documentation for the language. Pressing the big HELP button takes users here: https://python-editor-1-0-0.microbit.org/help.html and I can't see a link to the official docs in there?

If users google for the docs, they end up at the V1 docs for MicroPython on micro:bit, which are the wrong version for the MicroPython currently baked into that web editor, and there are a number of API changes and bug fixes (new API methods in the docs, that aren't present in the baked-in v0.9 image).

My proposal would be, for example, to add a DOCS button to the editor, that when you click it, takes users to the V0.9 URL for the readthedocs (as it is V0.9 baked inside the web editor). I am sure that @carlosperate could ensure that our branch of the codebase that is published has the correct URL in it.

When the V1 MicroPython finally makes it into the web editor, all that we would need to do is to change the URL to link to the V1 read the docs.

I understand the reasons why we haven't baked the new V1 MicroPython inside the V1 web editor yet. But I think we do need a way for teachers and students to have an amazin Python experience from next week when schools return, where the editor they use actually performs the way the documentation describes!!!

P.S. When there have been differences between docs and editor, it has always caused an increase in support tickets for us, and some consternation from teachers who (quite rightly) can't understand how anyone could release an editor with non-matching documentation ;-)

Thanks