@@ -31,6 +31,9 @@ select the terminal in the new Launcher tab:
Closing a terminal tab will leave it running on the server, but you can
re-open it using the Running tab in the left sidebar:
+.. _Copy/Paste
+copy pasting
+
.. raw:: html
<div class="jp-youtube-video">