DocumentASTSpec now with longer timeout