@nedbat Ned, also please comment on this. @auraz suggested that I ask you.