Nice work.
I have submitted a correction for the platform name in the docs.
You can do this yourself. There’s a link to the upper right on every page that says “Edit this page on GitHub”
Then follow this procedure: