@michelet Editor probably cut it out for length.