I assigned Mark and Ammar instead as they'll hopefully know better than anyone else whether the new links are the intended ones or not.

I assigned Mark and Ammar instead as they'll hopefully know better than anyone else whether the new links are the intended ones or not.

Thanks. This is blocking PRs currently, which is why I did the catch all review, but this is a fair assumption. (The links point to the same files as before, those files were simply moved.)

I removed the Docker projector links a. because the projector installation approach is out-dated and because pycharm and intellij on docker is a poor experience unless you have a lot of compute which most evaluators will not.

From what I see in the commit, the docker links are being added back.

@sharkymark Ah, I didn't notice your PR that removes these links: #4819

I just wanted to fix the broken links in main. I'll merge this PR now to fix the immediate issue, but removing them is fine by me. 👍🏻