はてなにも日記がありますが，不具合を見つけてしまったようです．

質問したら，「修正する」という回答まで 4.5h ほど．はやいなー．さすがだなー．

修正にはどれぐらいかかるかな? :-)