I suppose molybdenum disulfide was the best choice given the constraints - the switches for this particular keyboard were likely to become contaminated with dust. Dust has a very low impact on molybdenum disulfide performance compared to oil/grease lubricants like Krytox. Without having to worry about dust, Krytox would have been a better match because the keyboard switches had silent stems. These stems have softer materials on the sliders to dampen key press and (more importantly) upstroke noise. These softer materials can be dampened even more with thicker Krytox greases, however, those greases are dust magnets.