[bug#37038] Amending author email

[John Soo]

Hi Ricardo and Ludo,

Thank you for fill-paragraph, what a great function! I never knew. I love how Emacs is an editor for all kinds of text aside from code.

I fixed the lint warnings from before and removed a dependency on git with this patchset (along with the fill-paragraph magic).

Thanks again!

- John

0001-gnu-agda-ial-Fix-install-step.patch
Description: Text Data

0002-gnu-Add-cedille.patch
Description: Text Data