Per https://ask.clojure.org/index.php/14628/consider-documenting-usage-of-do-for-the-gilardi-scenario

Document that do special form at the top-level evaluates its body as separate top-level forms.