[ agda-releases ] Added documentation related to issue 1244