I reported this internally at Google -- looks like the file has been deleted.