Ask for hints for MKS Robin E3

[jpnielsen]

To update klipper on a "MKS Robin e3" i follow the instructions [here] https://github.com/Klipper3d/klipper/blob/master/config/generic-mks-robin-e3.cfg):

# Note that the "make flash" command does not work with MKS Robin
# boards. After running "make", run the following command:
#   ./scripts/update_mks_robin.py out/klipper.bin out/Robin_e3.bin
# Copy the file out/Robin_e3.bin to an SD card and then restart the
# printer with that SD card.

Do I use the same procedure for deployer.bin if i want to replace my MKS bootloader with Katapult ?
./klipper/scripts/update_mks_robin.py out/deployer.bin /out/Robin_e3.bin

or do I have to figure out how to flash it using stlink ?

(I successfully put Katapult/Klipper on a BTT/EBB42 - Thanks a lot!)