[SOLVED] Purpose of 5x2 headers in middle of board?

The MKR1000 has a 5x2 group of headers in the middle of the board, above the wifi module. Does anyone know what the purpose of these headers is? I’ve circled them in the attached pin-out image. I can’t seem to find any documentation on them. Thanks!

Never mind. I think I just found the answer to my own question. It suddenly occurred to me that it might be a JTAG header. Lo, and behold: MKR1000 Technical Information - #25 by Collie147 - Project Guidance - Arduino Forum