[V1] Cherry pick dock updates to v1

[riknoll]

From #6377

@kiki-lee do you need any others?

Steps I ran to make this (using cli)

cd pxt-arcade
git fetch origin
git checkout origin/v1 -b some-branch-name
git cherry-pick 3fac852
git push origin some-branch-name

Then, you open a PR with the new branch

You can get the hash of the commit at the bottom of your PR after you merge it:

Also, when you open the PR, you'll need to change the base branch to v1:

[kiki-lee]

Oh, so it looks like when I'm making the PR for my merge, I can select the v1 option from the dropdown and then when I squash things should go where they need to be?

[riknoll]

@kiki-lee correct! It's exactly the same as making a PR against master, just the result ends up in a different branch

[kiki-lee]

Thanks!