docs: minor changes, updated pproc, docgen search index