> I've used a technique called 'double buffering' to rerender complete pages off-screen, fast.

I'm absolutely not a web dev (as this comment will make clear), but I'm very surprised that browsers haven't been doing this all along. I just assumed that they did.