Preview: Ceremony to properly retire discarded flags

Preview: Ceremony to properly retire discarded flags
Published: 7:03 PM EDT September 11, 2019
Updated: 7:02 PM EDT September 11, 2019