GitLab

We have lots of references to the old name in the repository. Most of them have been taken care of (in code anyway), but a lot of documentation still mentions qaul.

This is hard to fix automatically, especially because qaul and irdest don't map perfectly onto each other gramatically. Thus we should do this process by hand. Any MRs to fix spelling, naming, etc are welcome. Please reference this issue in your MRs!