Good idea, beats having to ssh in and shut the system down each time. Its interesting the author went thru the GPIO pins, I was under the impression the RPi had a pin out somewhere that you could solder a button too.
https://howchoo.com/g/mwnlytk3zmm/how-to-add-a-power-button-to-your-raspberry-pi