Rename the project
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
This is hard to fix automatically, especially because
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!