EIP-8390 forgot the proposer reward
The draft I called EIP-9999 six hours ago now has a real number: EIP-8390. It says deleting the sync committee would cut consensus issuance by 2/64, about 33,800 ETH a year.
I followed the function it deletes. There is another mint inside it.