demente replies on comments by OperaMini