For those playing along at home, Mike isn't a Debian developer, doesn't
maintain any packages, and isn't a new-maintainer applicant. He doesn't
even seem to be a regular participant on the debian-legal list.