F* seemed promising at one point, but haven't heard much about it in a long time, what happened to it?