readyready15728

**ADDENDUM**: I tried forcing 4.12.1 too in the two `.opam` files then tossing out the `.locked` files before another attempt at compiling the switch. No dice. I tried 4.12.2 once...

As of now, I have no idea about any of that my good dude. I'm just someone working through the [CS3110 course](https://cs3110.github.io/textbook/cover.html) from Cornell. Just glad I unearthed the error...

I wrote a _very_ quick and dirty Python script to look for links that return code 404, intended to be run at the root directory of the project: https://gist.github.com/readyready15728/f3749e6cfd788fae8d24041a26c7e4a7 It...