I use a version of Opera where it's apparently fixed anyways, so maybe the fix isn't needed that much. How many people actually use Opera? 1% of the population?