Google has released a help document named large site owner’s guide to managing your crawl budget. It is an advanced help document on helping developers manage Googlebot crawls on their web site. It reminds me of the blog post Gary Illyes of Google wrote in 2017 about crawl budget.