Support for using ghcjs-dom and for the webkit-sodium example.