OptimalFAI comments on Help Fund Lukeprog at SIAI