On Sat, 16 May 2015 17:44:04 -0300 Juan Vuletich <juan at jvuletich.org> wrote: ... > Right. Just did a commit, and amongst several things, I changed #isClean > to #isTrivialClosure . Juan, thanks for that. I find it incredibly thoughtful of you. -- -KenD