I also did not know about gargoyle at that time.
I was wondering to upgrade to latest version (and reboot) to solve the WPA KRACK problem... but since devices interfacing with gargoyle won't get the update maybe I will skip the update for the gargoyle too...

Best regards