richardiporter comments on Open Thread: July—September 2023