This is the one I went with (Elecjet). Magnet seems strong enough, and I appreciate that it's an L shaped plug instead of one that sticks straight out (would would make it more likely to get dislodged.
I should note that it was quite a struggle to fully insert the piece that goes into the USB-C port on the computer, enough to make me concerned about how the heck I'm going to get it out of there if I ever need to. However, I suspect this is intentional, to reduce the chances of the piece getting inadvertently pulled out (and I don't intend to ever remove it myself, so it's a relatively minor issue). Still, I thought it worth mentioning, just in case anyone is considering this one but does sometimes need access to all 4 ports (or would want to switch it to a different port in some circumstances).