On Tue, May 4, 2021 at 1:33 PM Zack Weinberg [off-list ref] wrote:

the information that should
appear in the manpages is the information that is most relevant to
user space programmers.

The bpf programs are compiled for the kernel and run in the kernel.
Hence bpf man pages must reflect the kernel.
Also there is BTF where type names are part of the verification process.
if a user decides to rename a type it will be rejected by the kernel verifier.