Workspaceの使い道

Workspaceの名誉のために追記すると、確かに、Workspaceは「エディタ」です。閉じようとすると、「保管してないけどそれで良いのか？」って聞いてきますし、何より、ホストOSのファイルとしてセーブすることすら出来ますから。セーブされたものはUTF-8の多言語テキストとしてホストOS上でそのまま使うことも出来ます。
でも、今回の前提のうちの一つ「ホストOSの機能はあまり使わない」から考えると、あんまり有用な機能じゃないですね。ま、用途が違ったということで。