はてなダイアリー（このブログ）に書き込みをしたので、それを見つけてもらって補修してもらったのかどうか確認していないけれども、急にRSSで多くの記事がはいってくるようになった。中には12月8日ころポストされたものもある。いったいどうしたんだろうか…