Recruiting Lucky Charms: Tidbits on July 26 Notre Dame visit list; 2023 recruiting notes