I think it would be useful to prepare a CWEB file for the GAP kernel.
I have looked at the source code a little for the kernel, even though
I am not very good at it, and it seems to be well documented. But the
documentation of programs using WEB is, in my opinion, the best and most
thorough documentation of source code that exists.