Alternatively, you could use the slightly beefier and cheaper Weipu SP13 (OEM also sold by Bulkin, Cliff, etc.) :
https://weipuconnector.com/product/37
For those who do not want to solder anything, you could also place a pushbutton switch like the Switchcraft 913X into the 13 mm diameter...