MichaelAnissimov comments on Help Fund Lukeprog at SIAI