“Yes,” a passing wanderer will say, “that is what they used to call document.body = document.createElement("body"); so many, many years ago.”