This avoids unnecessary duplication of many images, thus reducing the size of PDF.js image resources slightly. Note that since the images should only be flipped horizontally, this required specifying the horizontal/vertical scaling separately for the hiDPI-images.