How did you find those "TDI, TCK, TMS" pin names? Was it written somewhere?