- xserver-1.3.0-default-dpi.patch: Switch default DPI to 100, on the principle that 75 is almost never right and 100 is much more likely.