#1003 change fun github address and remove INRIA from legal page