File Menu: Added File/Save as…/JavaScript to a new .js DEXi File format, aimed at implementing DEXi models in dynamic HTML documents viewed in Web browsers.