Updated getter for HitlistManager