Indeed, but that's an engineering failure. I even think that Gmail makes sense an SPA. It should be JavaScript. They've just overcomplicated their implementation.