Watchdog for Spark firmware

Still some questions pop-up.

The documentation says:

Enabling the hardware watchdog in combination with this is recommended, so that the system resets in the event that interrupts are not firing.

How do I enable the hardware watchdog? Is that something implemented in the WatchDog library (and which one it is WWGD or IWGD). From there forum post I understand that both of them are Hardware watchdogs:

So is my conclusion right that it's best to implement the two library WatchDogs and the Application WatchDog, because they all "watch" something else? Or would that be an overkill?