The system has finished indexing all the posts and thus the board search feature (found in the blue bar at the top) is now working. Enjoy!