PC環境復旧作業でバタバタしていて怠っていたが、Operaを10.51から10.53に更新。4月27日に色々修正された10.52が出たものの、5月6日には極めて深刻な脆弱性に対応するとゆーことで10.53になったらしい。私的には特に変わった実感は無かったりするが…ま、いー…