@aral She makes 3.5% of the Google CEO. Opera’s CEO is worth a couple of billion dollars. I could go on (and on and on and on…). It doesn’t take much more than five minutes on the search engine of your choice to realize that she is significantly underpaid compared to people in similar positions.