QUESTION:

What's the difference between these:
maixpy_amigo_ips
maixpy_amigo_tft

And also these:
ktool-mac
ktool-mac-10

P.S.  I just realized the Amigo needs to be plugged in using the bottom USB port for software update, not the side port.  Good to know!  After that, updating from the beta to v23.09.0 was easy (I used ktool-mac-10 and maixpy_amigo_tft)