Baby Shark is extension that helps with Digital Ocean searches. Biggest pain today is lack of tag search and this is the main reason why it was created.