Well, this is really just 2x the normal render resolution, it's just that if you render at exactly double of your screen resolution (which happens on Windows but not necessarily Android) we get the equivalent of 2xAA. So I'm not sure what the best name is.

But I'm planning to add proper multisample antialiasing in the future anyway so I'll let this be for now.