Glad to see the update on WP Super Cache. I still use it over W3 Total Cache on certain sites, including my own!