
    then defining a <code>"paste"</code> event on the <code>document</code>. So the user can select
    some text, either on the page or in some other app, and then a paste in the diagram will create
    a new node using that text.
  </p>
</div>
<script id="code">
  // *********************************************************
  // First, set up the infrastructure to do HTML drag-and-drop
  // *********************************************************

  function init() {
    let dragged = null; // A referen