Glenn Morris <rgm@gnu.org> writes:

Hi Glenn,

> Hi - this is too broad. It excludes anyone whose name includes "Max",
> viz:

Indeed, I'll change it (I contacted the author of the commit) to get his
full name.

Cheers,
Nico