Good point -- looking at who calls `getJavascriptText()` bears that out