Nils Anders Danielsson, https://github.com/agda/agda/blob/6c6d8fb756ad7e434ce812c1073a39d8e024b87d/CHANGELOG#L994