Documentation of user.js re-pull, and mobile reply-as-new fix