> The DOM might not even be based on HTML, not sure about that.

IIRC the page is loaded server side, javascript executed, and then essentially a screenshot taken, and some markup to show where the links and buttons are.