Fix for #1086: remove duplicate include of jquery-ui.min.js. Elsewhere, removing other extraneous code / linting.