Here is the block, showing a reward of 7678ETH: https://etherscan.io/block/13307440
From that 7676ETH was the fee by Bitfinex (see OP).
And here (around 10 hours later) is a transaction from the miner giving back 7385ETH to Bitfinex: https://etherscan.io/tx/0x85294effd53126b3bfa9e7f655267e00ac...
Wonder if they talked or just decided to do this as a show of good will. Either way, still kept around $800k so not a bad deal.