That clarified the difference! Thank you. I think I mixed rump kernel and rumprun. I saw a talk long time ago and am not very deep into that nowadays. Therefo

That clarified the difference! Thank you. I think I mixed rump kernel and rumprun. I saw a talk long time ago and am not very deep into that nowadays. Therefore, double thanks!