■

注が読みにくいので四隅をカットして無駄を省いたかたちでプリントし直そうと思うのですが、どうも大雨なのでオフィスに行く気がしません。このまま家で作業すると思います。

Chrome のブックマーク・マネージャを使って、これまでためたブック・マークを整理しました。おそらく一番古い層は2000年くらいのものなので、もちろん生きていないリンクも多いとは思うのですが、これでかなりスッキリしました。とにかく、幾台ものマシンを乗り継いで、ここまできたものですから、同じものがアチコチにダブっているという現象に悩んでいました。それが一掃されたと思います。