codingquark comments on Open Thread—August 2023