WebDav DELETE request for directories is missing trailing slash

[njam]

The nginx WebDav server requires a trailing slash for DELETE requests on paths, but MaterialFiles is not sending it.

According to the WebDAV RFC, section 5.2:

In general, clients SHOULD use the trailing slash form of collection names.

I know it doesn't say "MUST", but it says "SHOULD", but still Nginx requires the trailing slash in this case. Otherwise it errors with status 409. Nginx doesn't seem willing to change this behaviour, see this related ticket: https://trac.nginx.org/nginx/ticket/1966

Would it be possible to have MaterialFiles send a trailing slash when DELETEing directories?