@@ -284,7 +284,8 @@ This answer is based on Edwin Brady's response in the following
284284
285285Where can I find the community standards for the Idris community?
286286=======================================
287−The Idris Community Standards are stated in <https://www.idris-lang.org/documentation/community-standards/>.
287+The Idris Community Standards are stated `here
288+<https://www.idris-lang.org/documentation/community-standards/>`_ .
288289
289290Where can I find more answers?
290291==============================