Rated 5 out of 5 stars

Another very small, useful extension developed by Chris. Makes switching between themes very easy.

This review is for a previous version of the add-on (1.10).