You can search for identifiers within the package.
in-package search v0.2.0
Camyll is a static site generator that I originally wrote for my personal site.
Camyll is aware of Literate Agda and will invoke the agda binary on it.
agda