OPERA7.53導入

7.2までとは別物ですねえ。今のところ使いづらいけど、それはまあ慣れの問題かと。
てかホットリストがない！　ってちょっと慌てたんだけど、名称変わっただけだしねえ。
RSSリーダー使うと重くなるとか言う話ですが、どうなんでしょう？
とりあえず、現状7.23メインで、徐々に慣らしていこうかと。