Whilst that sounds logically. You're replying to someone on HN, who is presumably a developer and detected this bug in IE9.
More than likely that developer checked it in IE9 after seeing the great front-end design, and does not primarily browse the web in IE9 (what sane person would?)
Edit: he commented below saying it was IE11 with the IE9 emulation enabled.