Aha. The example doesn't have viewport set, so it renders at full resolution. I can update the example later.