I hadn't, no. As I said I nominally just check every couple of months if support has been moved to Tier 1. That OPAM 2.2 is actually nearing release is good ne

I hadn't, no. As I said I nominally just check every couple of months if support has been moved to Tier 1. That OPAM 2.2 is actually nearing release is good news. I'll keep a more vigilant eye on it for the next month or two. Ironically, I can't even remember what v5 feature it was that was a deal breaker (to not have) anymore, anyway.