アドバイスくれた方、ありが㌧。
同僚に12のインスコ版もろたので、12まで戻しました。
変なキョドりは出なくなったので当分これ使います。
しかしまあ、ironのインスコ版はどこにもストックされてないね。
ここ↓にもないって、ironはそんなにマイナーなのか。
http://www.oldapps.com/category/browsers