Worthington Industries, Inc. (WOR) – Distribution and Name Change – Effective 12/01/2023