The other guys were talking about "scaling the DPI". Are they really the same thing? In which case, why on earth wouldn't they just say "make the text bigger"?