update: HR won’t do anything about a coworker who’s angry about my weight loss