Problem: some links and other things got outdated because the
repository has been moved to another GitLab group.
Solution: update everything outdated that could be found by
`git grep -i camlcase`.