Welcome to the Lively Kernel code documentation!