In the end, when I use "Start bootloader" in MMJoy2 and look at the Device Manager on COM ports, I see it reports as "Pro Micro 5V" without any "Arduino Leonardo Bootloader COMXX" device. Yet before I've disconected the EDTracker so that's why COM5 is missing now on the COM port list.