I just thought about the same thing. But according to my testing the software shutdown that is done via GPIO 13 actually triggers the x708pwr.sh script with GPIO 5 and performs a safe shutdown before cutting off power.