JGWeissman comments on Help Fund Lukeprog at SIAI