Anyone following IR related news, do you know what happened to BitFunnel (opensourced rewrite of Bing search engine).<p><a href="https://bitfunnel.org/categories/blog/" rel="nofollow">https://bitfunnel.org/categories/blog/</a><p><a href="https://github.com/bitfunnel/nativejit/" rel="nofollow">https://github.com/bitfunnel/nativejit/</a><p><a href="https://github.com/BitFunnel/BitFunnel" rel="nofollow">https://github.com/BitFunnel/BitFunnel</a>