[ releases ] Updated information related to the Agda wiki