You can search for identifiers within the package.
in-package search v0.2.0
odoc
This manual describes the features that are available and recommended for users to write great documentation using odoc.