modified:   user-extensions.js