LukeDing comments on EA Infrastructure Fund: June 2023 grant recommendations