For allowing editors to let their user browse the documentation of a given identifier in a generated documentation set it would be nice to have a command like odoc [-I DIR]... uri ID [KIND]

odoc would resolve the identifier in the set of odoc files found in the -I DIR options and write one or more relative url on stdout and/or exit with a well defined exit code if the identifier cannot be found.

/cc @trefis