Annex RDS forum

I have a module which ceases to report or to respond to a ping. I searched in the ESP32 help document for "watchdog" and didn't find anything. I searched on this forum and found many hits, and found that there is an OPTION.WDT command. I searched for that in the Help document, and found it. The word, "Watchdog", was in the description of the OPTION.WDT command. Is there a reason that a search in the Help document for "watchdog" wouldn't have found that instance?

As there is no topic named watchdog, the search in the left side of the help don't give any result.
However, doing a search in the right side (typing F3), gives the good result

Ah, ok, thank you. I thought I might be just missing something.