Update README.md (UniMath#779)

README.md

@@ -1,8 +1,5 @@
 ![agda-unimath-star-trek-extra-bold-bt](https://github.com/UniMath/agda-unimath/assets/1252282/cbd9b67e-581c-41c7-bc1e-34862127bad2)
 
-[![CI](https://github.com/UniMath/agda-unimath/actions/workflows/ci.yaml/badge.svg)](https://github.com/UniMath/agda-unimath/actions/workflows/ci.yaml)
-[![agda-unimath website](https://github.com/UniMath/agda-unimath/actions/workflows/pages.yaml/badge.svg)](https://github.com/UniMath/agda-unimath/actions/workflows/pages.yaml)
-
 The `agda-unimath` library is a community formalization project for univalent
 mathematics in [Agda](https://github.com/agda/agda). The library project was
 created by Elisabeth Bonnevier, Jonathan Prieto-Cubides, and Egbert Rijke. Our
@@ -14,6 +11,6 @@ the library about any topic in mathematics.
 
 ## Links
 
-1. [agda-unimath webpage](https://unimath.github.io/agda-unimath/)
+1. [The agda-unimath website](https://unimath.github.io/agda-unimath/)
 2. [Discord](https://discord.gg/Zp2e8hYsuX)
 3. [Twitch](https://www.twitch.tv/agdaunimath)