habryka comments on Open Thread – Winter 2023/​2024

[habryka]

Thank you! I will have someone look into this early next week, and hopefully fix it.