david_reinstein comments on Let’s advertise EA infrastructure projects, Feb 2023