README: update repo links

Author: omelkonian

README.md

@@ -1,16 +1,16 @@
-## Type-classes for the Agda standard library [![CI](https://github.com/omelkonian/agda-stdlib-classes/workflows/CI/badge.svg)](https://github.com/omelkonian/agda-stdlib-classes/actions)
+## Type-classes for the Agda standard library [![CI](https://github.com/agda/agda-stdlib-classes/workflows/CI/badge.svg)](https://github.com/agda/agda-stdlib-classes/actions)
 
-Browse the Agda code in HTML [here](https://omelkonian.github.io/agda-stdlib-classes).
+Browse the Agda code in HTML [here](https://agda.github.io/agda-stdlib-classes).
 
 ## Version compatibility
 
 We mirror the version numbers of [agda-stdlib](https://github.com/agda/agda-stdlib).
 
 | **agda** | **agda-stdlib** | **agda-stdlib-classes** |
 |----------|-----------------|-------------------------|
-| [v2.6.3](https://github.com/agda/agda/releases/tag/v2.6.3) | [v1.7.2](https://github.com/agda/agda-stdlib/releases/tag/v1.7.2) | [v1.7.2](https://github.com/omelkonian/agda-stdlib-classes/releases/tag/v1.7.2) |
-| [v2.6.4](https://github.com/agda/agda/releases/tag/v2.6.4) | [v1.7.3](https://github.com/agda/agda-stdlib/releases/tag/v1.7.3) | [v1.7.3](https://github.com/omelkonian/agda-stdlib-classes/releases/tag/v1.7.3) |
-| [v2.6.4](https://github.com/agda/agda/releases/tag/v2.6.4) | [v2.0](https://github.com/agda/agda-stdlib/releases/tag/v2.0) | [v2.0](https://github.com/omelkonian/agda-stdlib-classes/releases/tag/v2.0) |
-| [v2.7.0](https://github.com/agda/agda/releases/tag/v2.7.0) | [v2.1.1](https://github.com/agda/agda-stdlib/releases/tag/v2.1.1) | [v2.1.1](https://github.com/omelkonian/agda-stdlib-classes/releases/tag/v2.1.1) |
+| [v2.6.3](https://github.com/agda/agda/releases/tag/v2.6.3) | [v1.7.2](https://github.com/agda/agda-stdlib/releases/tag/v1.7.2) | [v1.7.2](https://github.com/agda/agda-stdlib-classes/releases/tag/v1.7.2) |
+| [v2.6.4](https://github.com/agda/agda/releases/tag/v2.6.4) | [v1.7.3](https://github.com/agda/agda-stdlib/releases/tag/v1.7.3) | [v1.7.3](https://github.com/agda/agda-stdlib-classes/releases/tag/v1.7.3) |
+| [v2.6.4](https://github.com/agda/agda/releases/tag/v2.6.4) | [v2.0](https://github.com/agda/agda-stdlib/releases/tag/v2.0) | [v2.0](https://github.com/agda/agda-stdlib-classes/releases/tag/v2.0) |
+| [v2.7.0](https://github.com/agda/agda/releases/tag/v2.7.0) | [v2.1.1](https://github.com/agda/agda-stdlib/releases/tag/v2.1.1) | [v2.1.1](https://github.com/agda/agda-stdlib-classes/releases/tag/v2.1.1) |
 
 Minor revisions will append to these major versions (e.g. `v2.1.1b` or `v2.1.1.10`).