Web host changed
I changed hosting of arduino.ada-language.com, tero.stronglytyped.org, and ahven.stronglytyped.org (plus a few others) to another web host. You shouldn't notice anything, but in case you see some errors, please be patient and try again tomorrow.