I am glad we agree, me being both the one you are replying to and the OP you are referring to.
For the avoidance of doubt, here's the link to the FCC RDOF auction and the relevant quote:
"... Rural Digital Opportunity Fund to bring high speed fixed broadband service to rural homes and small businesses that lack it."