orz: Update July 26, 2023

Four checkpoints have been added.