>>320
それでいいんじゃないですか
4は特殊ファイルです(wireshark-filterが4はおかしいですが)

$ man -k intro | grep ^intro