Mention inf-clojure in the commentary