Thanks, Jon, for continuing to keep the pressure on.
The appearance/size change for e.g. checkboxes is very noticeable, and right now it's inconsistent with other controls that are nearby, like radiobuttons and dropdowns. The first thing is to actually finish the style guide and consistently apply it. http://tools.wmflabs.org/styleguide/desktop/index.html is very incomplete right now, when can we expect an updated version, or is there another one I should be looking at?
Thanks, Erik