When having two Logitech products paired to same devices in the same order (in this case MX Keys Mini and MX Master 3S), it would be nice that tapping the keyboard keys to switch device it would also switch the mouse to the same device so the user doesn't have to lift the mouse and tap the button on the bottom.