[Mailman-Developers] patch to add a DEFAULT_UCFIRST_REAL_NAME option