A3 updates

labs/a3.md

@@ -120,11 +120,10 @@ release. Using the `wget` command within your VM, download the `.iso` file found
 within this directory as well as the `.iso.sig` signature file that we will use
 to verify the authenticity of the `.iso` file. For example, the current release
 at the time of writing is `2021.09.01`, so you would run the following commands:\
-**Currently the OCF mirrors are under maintenance, and will lead to really slow download speeds, so we will use another mirror.**
 
 ```sh
-wget 'http://ca.us.mirror.archlinux-br.org/iso/2021.09.01/archlinux-2021.09.01-x86_64.iso'
-wget 'http://ca.us.mirror.archlinux-br.org/iso/2021.09.01/archlinux-2021.09.01-x86_64.iso.sig'
+wget 'https://mirrors.ocf.io/archlinux/iso/latest/archlinux-2022.02.01-x86_64.iso'
+wget 'https://mirrors.ocf.io/archlinux/iso/latest/archlinux-2022.02.01-x86_64.iso.sig'
 ```
 Note that Arch is a ["rolling
 release"](https://en.wikipedia.org/wiki/Rolling_release) distribution (as
@@ -538,8 +537,6 @@ installing out system onto them!
 
 ### Mirrors
 
-**Please skip this step as the OCF mirrors are currently down and doing this would make the download speeds really slow.**
-
 We need to tell Arch which software mirror to use when downloading
 packages. Go ahead and just put the OCF mirror at the top! Edit
 `/etc/pacman.d/mirrorlist` using `vim`/`emacs`/`nano` and put the
@@ -667,7 +664,7 @@ FINISH THE INSTALLATION! Congrats!
 <div class="code-example" markdown="1">
 
 > If things don't work after you reboot, don't panic! Please make a
-> Ask for help on #decal-general, and we will try to help you
+> post on piazza, and we will try to help you
 > recover things.
 </div>