Huh. in August, [the US government spent] $8.9 billion for a nearly 10% share of Intel, converted out of CHIPS Act grant money. Today, the federal government is Intel’s largest single shareholder. Wonder what that 8.9 billion is worth now…