Thanks, that's a great idea. Last time I read kernel documentation was probably 15+ years ago, so I'm probably very out of date in some concepts I've internalised.