lukeprog comments on The EA Meta Fund is now the EA Infrastructure Fund