Sort devices by PPI (descending)

So that everybody could see the sharpest screens first.