いくつかの設定は .xyzzy.history に保存されるようなので、追加する。