A FreeBSD documentation search mechanism