habryka comments on Open Thread—Summer 2025

[habryka]

Ah, that is definitely a bug and we should fix it. I’ll add it to the list.