make extension opera--compatible + other odds and ends