ExTempore replies on comments by OperaMini