I guess at some point we'll need to decide if we want to switch the GitHub org we're using from rubocop-hq/rubocop (https://github.com/rubocop-hq), to rubocop/rubocop (https://github.com/rubocop), ...