Ask HN: Why did the Search bar on the FreeRTOS.org page go missing1 point·voltooid··1 commentLooking 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?SaveView on HN