I just pushed a commit that removes this holdover.