Incorrect URL in DOMjudge Download Page

Hi folks,

On the DOMJudge - Download page at https://www.domjudge.org/download you have an instruction for adding your repository GPG key to APT but the URL in the instruction is incorrect. Furthermore, the pipe command requires sudo but the curl command does not. The command as currently displayed is:

sudo curl -o - https://domjudge.org/repokey.asc | apt-key add -

It should be:

curl -o - https://www.domjudge.org/repokey.asc | sudo apt-key add -

Hope this helps someone.

Malcolm Corney