Looking up on Internet archive tells us that the search bar on the FreeRTOS webpage went missing some time around mid January. Why would a useful feature like search be removed?
Would their admins <a href="https://freertos.org/RTOS-contact-and-support.html" rel="nofollow">https://freertos.org/RTOS-contact-and-support.html</a> know best?