[Mailman-Developers] Piping Mailman's HTML through PHP