I don't think it's worth delaying a PR for this, unless there are other bigger things to fix at the same time.
Also, you can't do this in JS (it messes up in IE) so you won't have clean diffs there.

Anyway, I'll fix this for now.