I agree that the devs were needlessly uncommunicative, but I disagree that the right decision is necessarily to fix the bug. I think it’s perfectly reasonable to leave the bug as it is, even if it miffs some devs on hacker news.