Ask HN: Why did the Search bar on the FreeRTOS.org page go missing
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?