I was going to do that, but I decided it probably makes more sense to just make it a user setting in [`user.js`](#L4R17). how do you feel about this?