Yeah I mean if all the miners in the pool are okay with missing out on their share of 20 BTC by all means, but the transaction went through as part of the consensus, yes you made an oopsie, but Bitcoin don't care, you clicked broadcast
A part of me kinda wants to see what miners do if the pool makes the decision to hand over a pay day like that, do they all bolt to another pool and it kills F2 or do miners just act as slaves to whatever the pool decides, doesn't sound very decentralised to me, surely there are consequences to every decision