ここには Micro:bit の ホーム(https://makecode.microbit.org) で作成したソースを保管してあります。
とても簡単なドキュメントを作成してあります。拡張子は *.md です。
The source created on the Micro:bit home (https://makecode.microbit.org) is stored here.
I have created a very simple document. The extension is * .md.
拡張子 *.hex または *.mkcd のファイルは、
ダウンロードしてPCに保存可能で、Micro:bitに読ませることができます。
当然ですが、micro:bit の ホーム(https://makecode.microbit.org/#editor) で読み込めます。