Looking for efforts in the US e.g. to draft policies prohibiting the use or promotion of proprietary software for public infrastructure like education, similar to the FSFE's "Public Money? Public Code!" campaign. If you know of anything like this in the US, please share!