METRO Green Line Extension Construction Bulletin: October 6, 2023