Should esp:task_wdt_user_handle() be a resource?

[pguyot]

If esp:task_wdt_user_handle() is garbage collected, esp:task_wdt_reset_user/1 could not ever be called.

Should it be a resource that would delete itself when garbage collected?

This is debatable as having it as a resource implies that code that means to never call esp:task_wdt_reset_user/1, because it shall reboot or deep sleep before it is triggered, should keep a reference somehow.

See for example in la_machine:run/0, I keep a reference and unconfigure watchdog just before deep sleeping, but if we specified esp:task_wdt_user_handle() is not a resource, I could just let the binary be garbage collected.