It's actually a different value (was 8, is now 9).

It's actually a text alignment adjustment.
The rationale behind it is that the line-height adds a couple of pixels on top of the text. The "-3" reflects that adjustment. Ideally we'd do this using values in `em` so that buttons scales. More to come in that area soon (with a button style library)