Bare metal micro:bit has moved! Please update links and bookmarks.
Deleted revision of $1 (as of $4, at $5) by $3: