(see `Session.getJavascriptText()`)