Make note about HTMLDocument.documentElement hack