noticed that all of the `@package` names pointed to the old repo name, but didn't change them, for consistency reasons.