--- openapi: get /crawl/healthz ---