They'd certainly loose reputation, gain a big shitstorm from Bitcoin community, nobody sane would trust them anymore. [...] The honest miner succeeds and stays in business, not the one playing the worst foul.
The problem is that while there are some mining entities that are publicly known, in theory the individual miners at least are anonymous (on the network). Even if they were publicly known: would it be an option to blacklist blocks from miners which are known to having tried an 51% attack? Pools would be more at risk due to reputation problems, but you could simply start a new pool.
If "reputation of miners" was part of Bitcoin's security model, then it would be relatively weak, and above all not trustless.
My "rebuttal" of the possibility of an 51% attack is actually a bit different. Most important variable is the attack cost. But even attack cost would mean nothing if it was easy to earn a profit which outweighs the cost. But this seems difficult to me. Where could you (even if "you" were a massive group of malicious miners) steal billions of US dollars?
First possibility would be a series of double spends to several exchanges and service providers with high liquidity. But actually most of them use KYC. If you wanted to cash out to fiat the long payout process could be a problem, and if you cash out via altcoins, you have still to cash out from these coins in some way, and additionally you still could face legal action. So what you'd have to do is to create a farm of a lot of fake accounts with fake KYC, and even then I doubt if cashing out billions is possible.
Second possibility is a massive short, to profit from the lowering BTC prices. But also there: it would be quite obvious, those who initiated such big shorts just before the attack, for sure would face investigation for insider trading. Also here: you need additional resources to build up a big farm of fake accounts.
Atomic swap and non-KYC exchange volume is way too low to be able to cash out such large amounts. Same with gift cards or similar items which can be purchased fast (and can be invalidated in some cases).
So for me the only variant which stays possible (albeit with a very small probability) is the "malicious government attack". It's likely however that they would not be able to cause much harm, for the same reasons I outlined above, because all they want is to 51% the chain (to harm Bitcoin), and thus they would like their attack to be as cheap as possible (and would for example not bother about farming thousands of fake exchange accounts). It would be like the FTX or MtGox cases, perhaps - some people could lose money, but it wouldn't be worse than a major hack.