Thanks for the update. WP Super Cache is one of the most useful plugins I ever use. 🙂