That whole reasoning seems suspect to me, honestly. "I want 4x as many pixels so that every pixel can be scaled up to 4 pixels!". Sure font rendering can take advantage of that, but is the difference significant? To my eyes, no, not really.