openocd.texi is the authoritative source of OpenOCD documentation