Hello, world!

git.codecoop.org was shut down for good on March 31.2023.
More Info: https://so36.net/news/codecoop-migration.html