Long title on github page

[Dominik Moritz]

Super minor issue but could someone make the description on GitHub shorter?
🙏



GitHub puts the description into the title of the page and makes it hard to
find it in URL autocomplete.