Different strokes for different folks when it comes to Linux desktops