[Wientje]

The smallish difference is irrelevant unless you care about 720p movies. Double dpi would not be irrelevant as the results are much more obvious to the eye in most situations.