respec leaving in script links?

I view the editor's draft [1] in firefox, click on the respec button 
[which is awesome], select save as HTML, save, and the result includes 
this bit:

<script 
src="https://raw.github.com/darobin/respec/gh-pages/js/ui/save-html.js" 
data-requiremodule="ui/save-html" data-requirecontext="_" async="" 
charset="utf-8" type="text/javascript"></script>

... which doesn't seem right.     (I can't think of any reason any JS 
should be left in the saved html.)

Is it safe to remove that bit?  Is it okay to leave it?   (in a CR.)

         -- Sandro

[1] https://dvcs.w3.org/hg/gld/raw-file/default/dcat/index.html

Received on Friday, 1 November 2013 18:52:42 UTC