You didn't miss it but I did.

The MEVpool proposal (#891316) also comes from Matt. Quote from that thread:

Rather than letting the centralization pressure consume what little is left of mining's decentralization, we should seek to contain the damage as much as possible, building on ethereum's PBS but ensuring miners still can and will include transactions from the public mempool.