I always thought that the current theme is saved under the "template" option.
But looking inside the "secret"
/wp-admin/options.php area, I see other related options.
In total, there are three:
In my WP installation all those three have the exact same value. I would like to know what each of those options really does and which one is storing the actual current theme name that WP uses when loading templates.
It may seem useless as a question but the point is that I am "studying" the WP architecture, and this is one of the current confusion points of the road.