maint: remove a name from THANKS.in that is derived from git log