その後、こけることなく順調に動作しています。
レトロモード（Tridentエンジン）に切り替えずに、ウルトラモード（WebKitエンジン）固定で使えば、大丈夫のようです。
デフォルトのフォントが少々変なのですが、他のフォントに切り替えてみても、文字送り・行送りがおかしくなって表示が欠けたりしてうまくいきません。が、動作はけっこう軽快で、使いやすいです。