UTF-8 encoded user-extensions.js support. Fixes issue 1646