[Agda] address in lib pull request

[Sergei Meshveliani]

Dear library supporters,

I commit a pull request for Standard library,
and it shows certain expanded commiter address, about which I am not
100% sure.

I wonder of whether I need to somehow check this address.

Thanks,

------
Sergei