Fix #89: implement open-in-ie feature.