script2.js is a new version of script.js, including GUI - it also
contains some mouse controls, but I can’t make them work.

TrackballControls.js necessary for the mouse control, but I can’t make
it work anyway.