Opera support, doc improvements