trivial: remove the trivial patch monkey's name from SubmittingPatches