В свежей девелоперской версии (23.0.1522.0) шрифт меню уже масштабируется как надо. Правда, пока не везде - на экспресс-панели по-прежнему мелкий, - но надежда на лучшее есть.