You can search for identifiers within the package.
in-package search v0.2.0
coq-lsp.coq
coq-lsp.fleche
coq-lsp.lsp
This contains the rendered source for coq-lsp. Use the sidebar to navigate them.
coq-lsp