cross-document messaging in HTML5.markdown