"To summarize: we probably do not need to change anything, except the documentation." . . . .