Interesting. Just wanted to note that this is about the expensive J-Link, not the J-Link EDU (which nowadays is a "mini" version, officially supporting the Pi Picos).