Looks like @eudox hasn't received any replies!