@c1d79855 I dunno,  now seems about right to buy back in. It might go lower, but timing is hard.