support relabelling "pen trails" to "pen trails (SVG)" and vice-versa

HISTORY.md

@@ -15,6 +15,7 @@
 * objects, threads: adjusted rotation center of SVG-pen-trails
 * objects: added aspect racio governance and generator tags to trails SVGs
 * threads: catch empty trails log when trying to generate a vector trails costume
+* objects: support relabelling "pen trails" to "pen trails (SVG)" and vice-versa
 
 ## v5.3.8:
 * **Notable Change:**

src/objects.js

@@ -1559,6 +1559,9 @@ SpriteMorph.prototype.blockAlternatives = {
 
     changeSize: ['setSize'],
     setSize: ['changeSize'],
+    
+    reportPenTrailsAsCostume: ['reportPentrailsAsSVG'],
+    reportPentrailsAsSVG: ['reportPenTrailsAsCostume'],
 
     // control:
     doBroadcast: ['doBroadcastAndWait'],