As Sillirion says, it looks like we're good to go. The only thing I'm personally not happy with is the time it can take to open the skill GUI, but we had a look at that today, and it seems it isn't an easy fix. We managed to speed it up one or two places, but I'm not even sure we're risking to include that - it would stink if an optimization like that messed up the chance of patching tomorrow. So yeah. We'll fix that eventually.
Oh, and for those that like programming stories from hell, what do you think is wrong with this (simplified) code?
Code:
std::map<std::string,std::vector<int> >::const_iterator i = m.begin();
while (i != m.end()) {
const std::pair<std::string,std::vector<int> >& elem = *i++;
const std::string& key = elem.first;
std::cout << "Found key \"" << key << "\"\n";
}