votour: guided tour of a Rocq .vo or .vi file
Usage: votour file.v[oi]
  -help  Display this list of options
  --help  Display this list of options