You never officially voted, though :P (Or maybe it's just because I don't like seeing the number '13'...)
One of the things that always bothered me is the difficulty to grasp differences between $theme and $options. (In SMF, I think that's $modSettings and $theme, respectively. Which is even sillier.)
I believe they should be merged together. I simply thought that it'd make more sense to get rid of $options (or rename $settings to $options because it's shorter, but it'd take time to get used to...), and merge them into settings at user load time.
I haven't started work on this yet though, mostly because I want to get it right. And if I ever miss the December 2013 window for first public alpha release, nobody will die for it. It'll just be released a month or two later, and with less predictable hassle for future users.
One of the things that always bothered me is the difficulty to grasp differences between $theme and $options. (In SMF, I think that's $modSettings and $theme, respectively. Which is even sillier.)
I believe they should be merged together. I simply thought that it'd make more sense to get rid of $options (or rename $settings to $options because it's shorter, but it'd take time to get used to...), and merge them into settings at user load time.
I haven't started work on this yet though, mostly because I want to get it right. And if I ever miss the December 2013 window for first public alpha release, nobody will die for it. It'll just be released a month or two later, and with less predictable hassle for future users.