Revisions of "テキストエディタはどれが良いだろうか"