accidental change that I didn't see to user.js terms-of-use name.