[Mailman-Developers] REST API Difference between PUT and PATCH?