[ release notes ] Added documentation related to Agda issue 1269