All details about the bpftrace language, usage, and examples have been moved to the manual.