Got it. Unfortunately stable 4.2.2 appears to be from a nighly near September 18, given the minor version number. I guess that's why I was seeing reference to 4.2.3 already, because the nighlies for...

So far so good using ExtJS 4.2.2 nightly, but I had to force the padding on x-column-header-inner to avoid Ext's auto-padding of top/bottom to valign center the text. Else the column filter would get...