Runtime extrension web settings: distinguish display string and token when calling NS.newExtensionSetting, thus allowing meaningful name to be displayed instead of an id.
<?xml version='1.0' encoding='utf-8'?>
<PyFile xmlns:xhtml="http://www.w3.org/1999/xhtml" xmlns:xsd="http://www.w3.org/2001/XMLSchema">
<variables/>
<globals>
<xhtml:p><![CDATA[]]></xhtml:p>
</globals>
<init>
<xhtml:p><![CDATA[]]></xhtml:p>
</init>
<cleanup>
<xhtml:p><![CDATA[]]></xhtml:p>
</cleanup>
<start>
<xhtml:p><![CDATA[]]></xhtml:p>
</start>
<stop>
<xhtml:p><![CDATA[]]></xhtml:p>
</stop>
</PyFile>