Kernel doc clarifications

Is the last commit correct? I could not find the implementation for `x in [1,2,3]`.