Reporting kernel building docs problems?

Hey, A couple of months ago I filed bugs about the kernel-cki build process and some problems I encountered: https://gitlab.com/cki-project/kernel-ark/-/issues Today, I wanted to build a test kernel for a Fedora user with an additional custom patch, and couldn't find much interesting or up-to-date docs about it. This is outdated: https://fedoraproject.org/wiki/Building_a_custom_kernel#Building_a_Kernel... and kernel.spec still mentions "make" targets. Are those docs going to get updated, or are new docs available that should deprecate and replace those? Cheers --- Bastien Nocera he/him/his