tweaked demo menu

src/morphic.js

@@ -12129,8 +12129,9 @@ WorldMorph.prototype.userCreateMorph = function () {
     var myself = this, menu, newMorph;
 
     function create(aMorph) {
-        aMorph.isDraggable = true;
-        aMorph.pickUp(myself);
+        var cpy = aMorph.fullCopy();
+        cpy.isDraggable = true;
+        cpy.pickUp(myself);
     }
 
     menu = new MenuMorph(this, 'make a morph');

src/symbols.js

@@ -1792,6 +1792,7 @@ SymbolMorph.prototype.renderSymbolGlobe = function (ctx, color) {
 };
 
 // register examples with the World demo menu
+// comment out to shave off a millisecond loading speed ;-)
 
 (function () {
     var bright = new Color(250, 250, 250),
@@ -1803,7 +1804,7 @@ SymbolMorph.prototype.renderSymbolGlobe = function (ctx, color) {
         SymbolMorph.prototype.names.map(sym =>
             new SymbolMorph(
                 sym,
-                40,
+                30,
                 bright,
                 offset,
                 dark