なにげにムービーファイルの拡張子名を書き換える作業をしていたのだが… …たしか、ファイルの拡張子を書き換えると、『ほんとに変えていいのか?』ってダイアログがいちいち出て来て鬱陶しかった筈なのだが、…出ませんよ? 評判悪かったから10.1.5で修正されたのかな?