$ETHFI le projet est-il mort ? @eth.fi ?