This is correct, the MAX32620FTHR and MAX32630FTHR boards come with a programmer board and the 10 pin ribbon cable that is necessary to program the MCU. Most of the MAX32620FTHR boards come with the MAX32625PICO board, as a programming device. It is possible that it may come with a different DAPlink adapter instead of the MAX32625PICO, but either way you should be able to program it correctly once you have received it.