This workaround seems to do the trick for the time being:

if ($request_method = HEAD) {
add_header Content-Length 0;
add_header Content-Type text/plain;
add_header Vary Accept-Encoding;
return 200;
}

It might interfere with other HEAD requests, so I consider that as stopgap measure