I'd probably use /query instead of details. Also wondering if we should return the query used always in the header field and this would just be a HEAD request. But I'm a REST noob :)