Having fled my GDX options position this morning, I'm simply going to wait for a better (higher) price before having a go at shorting miners again.
In the meanwhile, I'd like to point out that one of the most battered issues, Jaguar, might be primed for a bounce. These are super risky, but the percentage moves can be substantial.
Oh, incidentally, I did re-enter my big FXE long (entry price 125.05, stop 124.99) as my current long hedge. It's showing a profit, so – – so far, so good, on that one.