Searching in pkg/kernel/doc/semantics