miller-max comments on Open Thread: October—December 2023