That still leaves the question if we want to do this switch like any
other UI tweak, or tie it to the coming major UX change, the shell.
Peoplea are very sensitive to font changes, so it might be easier to
swallow it if comes coupled with an entirely new UX...
Totally agree - this is exactly why we are asking the question now. It would be very
appropriate to coincide the change with the shell.