html scriptsrc -> js, tex label simplified