IE9 - tab characters are not supported

[dandv]

Because they're rendered with an unpredictable length in the mirror div.

[dandv]

IE9 will hopefully soon become a completely forgotten memory even among those hanging on to Windows XP.

Patches welcome, but the core maintainers won't be working on this.