Looks like @frepoi hasn't received any replies!