Update some HOpper-related things