IEの「ソース表示」が利用できない

メモ

前々から出ていた症状なのですが，ＩＥのソース表示機能が突然使えなくなりました．おかしいと思いつつほったらかしにしてたのですが，ちょっと調べたら解決したのでメモっておきます．

ＩＥのバグだったんですね・・・．こんな小さいバグくらい早く直して欲しいです．