Repository renamed from raido-v2 to raido

[ardc-shorn]

See #4 for details and instructions on changing your local repo to the new origin.

You shouldn't need to change anything in the short term, GitHub will redirect requests to the old repo to the new one.
https://docs.github.com/en/repositories/creating-and-managing-repositories/renaming-a-repository