ports を更新し、新環境で動作検証中に問題を見付けた。Seamonkey のブックマークがおかしくなっている。

更新前の seamonkey のバージョンは 2.17。何時からかは知らないが、bookmarks.html は更新されなくなっていたようだ。

SeaMonkey/FAQ Bookmarks にいくつか記述してある。

The bookmarks.html file is not updated anymore. What can I do? You can go to about:config and toggle the browser.bookmarks.autoExportHTML pref to true. Then bookmarks.html will be written each time you exit SeaMonkey. Or you can do it manually using Tools/Export HTML from the Bookmarks Manager. about:config の中の browser.bookmarks.autoExportHTML を見ると、bookmarks.html が書き出されるかがわかる。 What are the benefits of Places-based bookmarks? Bookmarks are stored in a database now, together with your browsing history. This allows for better integration (Sync, the Location Bar and add-ons), automatic backups and the possibility to restore them, saving favicons with your bookmarks, and the ability to define tags. ロケーションバーや、他との統合のために bookmarks.html ではなく、データベースに情報が保持される様になったようだ。

ほぼ一年近く使っていたが、気がつかなかった。