Taxonomy of Transaction Fees in Smart Contracts

Yes, you are of course correct for the example I gave. I should have made it more clear that there I was referring to the situation where a receiver submits a transaction to each miner (or mining pool) for acceleration and has in the transaction an explicit fee output paying that miner.

So the actual explicit output would have been something like (pseudocode) 100 op_csv <miner pubkey> op_checksigverify. Good catch!