I closed the relevant positions early in the morning, paying for sleep, fees, and slippage, so I guess it was worth it.
20,7K