（6/12：当初6/30付けの日記にしといたのだが、日付を未来に設定するとmixiの日記更新に引っかからないのを思い出して日付を変えた） 俺、RSSリーダーに「goo RSSリーダー」のWeb版を使っているのだが、これがバージョンアップ（？）してから、重い・遅い・…