re: #79 Gus 802

Eh. It’s called hedging. The only notable aspect was that so few other banks failed to do so.