Rafael Harth comments on Open Thread—August 2023