This is such a distinctive species it could be nothing else, once the suggestion was made. I had never seen it before and if I had had to key it out from scratch, without photos of the whole plant, leaves, and stems, it would have been impossible to ID.