Bare metal micro:bit has moved! Please update links and bookmarks.
Error deleting unused archive file "$1".