Looks like @nicoarg hasn't received any replies!