Google’s new tool for getting a page indexed quickly.