josefpanther comments on Open Thread: October—December 2023