fixup! Implement innerHTML getter for HTML documents