Here it is:
You are right, John, and HB9 is the right preffix to be used as the Country designator when a non-Swiss ham is transmitting from Switzerland.
I had already read that thread but I confess I had forgotten and as Michael @DB7MM wrote on that thread, having the Swiss association prefix HB instead of HB9 mainly contributes to confusion.
I also think the SOTA summit references should be HB9/ instead of HB/ to avoid confusion.
73,
Guru