I noticed that the crawled pages count, which is visible in the web interface, is not available in the current API v3 metrics endpoint. It would be beneficial to have this specific metric exposed through an API v3 endpoint to access the total number of crawled/indexed pages programmatically.