Update maintainer sentences (#942)

Mention all the current maintainers in the docs.

CONTRIBUTORS.toml

@@ -28,7 +28,7 @@ homepage = "https://www.ntnu.edu/employees/fredrik.bakke"
 github = "fredrik-bakke"
 bio = '''
 Fredrik is a PhD student at the Norwegian University of Science and Technology
-in Trondheim. His research is on homotopy theory and higher category theory.
+in Trondheim. His research is on homotopy type theory and higher category theory.
 '''
 
 [[contributors]]

HOME.md

@@ -9,13 +9,13 @@ typed programming language [Agda](https://github.com/agda/agda).
 </a>
 
 The library project was created by Elisabeth Stenholm, Jonathan Prieto-Cubides,
-and Egbert Rijke, and is also maintained by Fredrik Bakke. Our goal is to create
-an online encyclopedia of formalized mathematics containing an extensive
-curriculum of topics from a univalent point of view. We think libraries of
-formalized mathematics have the potential to be useful, and informative
-resources for both working and learning mathematicians. Our library is designed
-to work towards this goal, and we welcome contributions to the library within
-any topic in mathematics.
+and Egbert Rijke, and is currently being maintained by Egbert Rijke, Fredrik
+Bakke, and Vojtěch Štěpančík. Our goal is to create an online encyclopedia of
+formalized mathematics containing an extensive curriculum of topics from a
+univalent point of view. We think libraries of formalized mathematics have the
+potential to be useful, and informative resources for both working and learning
+mathematicians. Our library is designed to work towards this goal, and we
+welcome contributions to the library within any topic in mathematics.
 
 The `agda-unimath` library is compatible with Agda 2.6.3 and can be compiled by
 running `make check` from the root directory of the repository. Learn more about

README.md

@@ -3,12 +3,12 @@
 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 Stenholm, Jonathan Prieto-Cubides, and Egbert Rijke, and is
-also being maintained by Fredrik Bakke. Our goal is to formalize an extensive
-curriculum of mathematics from the univalent point of view. Furthermore, we
-think libraries of formalized mathematics have the potential to be useful, and
-informative resources for mathematicians. Our library is designed to work
-towards this goal, and we welcome contributions to the library about any topic
-in mathematics.
+currently being maintained by Egbert Rijke, Fredrik Bakke, and Vojtěch
+Štěpančík. Our goal is to formalize an extensive curriculum of mathematics from
+the univalent point of view. Furthermore, we think libraries of formalized
+mathematics have the potential to be useful, and informative resources for
+mathematicians. Our library is designed to work towards this goal, and we
+welcome contributions to the library about any topic in mathematics.
 
 ## Links