8.4.4 ソースデータを閉じる
\[ソースデータを閉じる\] のオプションは、開いているソースを閉じます。 このオプションは、ホストを閉じる、もしくは、ユーザー・エージェントを終了することはしません。