Please change a specific project slug

[hmpf]

A project that started out life as "aas" now has a new name and a package on PyPI: "argus-server". The existing rtd-link "https://readthedocs.org/projects/aas/" has not been deliberately spread. Would it be possible to change the project slug to "argus-server", with a resulting link "https://readthedocs.org/projects/argus-server/"? (Then we can finally add the rtd-badge to the README.)

See #5403.

[stsewd]

Hi, if the project is recent and you don't have anything important, you can just create a new project with the name you want and delete the old project.

[hmpf]

How do I delete the old project?

[hmpf]

Found it, hard to spot.