Update to Lean Kernel 6.2