In the end, the actual LEDs themselves are tiny; a PCB containing the LEDs + driver ICs is smaller, lighter, and brighter than any mirror/lens assembly I could easily source with the requisite coatings to operate efficiently in this frequency band.
For a laser source, a fiber optic source can make a lot of sense, but fiber optics optimized for this frequency of light turn out to be pretty expensive, and the termination of the fiber optic still needs a collimator lens. At the end of the day, the net weight and cost budget still works out in favor of mounting a laser diode directly on the microscope head, so long as the power requirement is under a watt. Beyond that, the weight of the heat sink starts to be a factor, and an off-board laser starts to make more sense.