Drop WIP status

The doc is not WIP anymore. Let's update the frontpage to avoid any
confusion.