Just typed "import antigravity" in python repl. It took me to the same link. :-)