Does anyone know why the menu fonts in Mavericks seem to look different than they did in Mountain Lion? I'm not sure if it's a placebo effect, but ML seemed to render menu text sharper on my rMBP. This is with font smoothing turn on in both cases, btw.