Update user-extensions.js

Some more cleanup