Looks like @moler hasn't received any replies!