手軽に使えるスクリーンキャストツールが欲しかった．スクリーンキャストというのは，画面を数10フレームごとにキャプチャし，動画として保存すること（→ Wikipedia）．これがあるとプレゼンとかで便利． recordMyDesktop というツールが，個人的にベストだ…