Nice idea — eBPF is powerful but the boilerplate around maps and SEC() sections is definitely a time sink. Do you plan to include inline links back to the kernel docs/specs in the extension? That could make it even more useful as a learning aid.