#574 went in this morning but I’m also working on #580 which will allow plugin devs to add cookies to the WP Super Cache cache_key more easily.
All the hard bits from this post will not needed 🙂