It seems like this was therapy that happen to leverage small amount of mushrooms. Maybe this is a good combo, not sure. But I have years of first hand experience with friends who are life long smokers and have taken mushrooms and LSD multiple times a year for decades. I really have not seen a relationship between quiting smoking and mushrooms.

We’re they taking the psychedelics with the intention of trying to quit smoking, or just to get loaded and have a weird night? If it’s the latter, I wouldn’t expect any change in smoking status, outside of a chance epiphany about what it does to the body.

There’s the idea of “set” and “setting” for psychedelic use. A (mind)set of “party time!” and a setting of “party time!” is unlikely to be effective in the way that a set of “i want to quit smoking” and a setting of “quiet, safe surroundings” would be.

Intention and preparation matter with these drugs—though they’re apparently no guarantee either.

In their cases it's always for a fun weird night at a music festival etc. But that's sort of my point is that I don't think quiting an addiction is a inherent characteristic of mushrooms but possibly a complement to therapy.