Attempting to DELETE a user through REST API returns '405 Method Not Allowed'

[Stephen A. Goss]

src/mailman/rest/docs/users.txt clearly states "The REST API can be used to add and remove users, add and remove user addresses, and change their preferred address, password, or name." When I send a DELETE request to either /3.0/users/1 or /<email address hidden>, I get a '405 Method Not Allowed' response.

$ curl -u restadmin:restpass -I http://localhost:<email address hidden>
HTTP/1.0 200 OK
Date: Wed, 03 Aug 2011 22:36:37 GMT
Server: WSGIServer/0.1 Python/2.6.5
content-length: 311

$ curl -X DELETE -u restadmin:restpass -I http://localhost:<email address hidden>
HTTP/1.0 405 Method Not Allowed
Date: Wed, 03 Aug 2011 22:34:16 GMT
Server: WSGIServer/0.1 Python/2.6.5
Content-Type: text/plain
Allow: HEAD, GET
Content-Length: 22