Custom 4 pin 2mm pitch cable

I need to make a custom cable to connect a push button.

are the cable ends and terminals available?

is it some sort of JST or is a proprietary connector ?

I looked all over the PCB socket and the terminals and don’t see any numbers etc

I took a premade cable and extracted the connectors removed the wire from the ends. Carefully pried the wire retention tabs then put my wire in crimped the tabs and soldered the wire on.
I real kluge for sure, I’d be happier with the correct terminals