Is there a quick way of knowing how many pages are indexed (_not_ how manyare referenced in crawldb as fetched URL's)? I could use Luke to peek inside the indexes and get the "Number of documents", but they are located on a remote headless server with only SSH access... (OK, I actually did access them using Sftpdrive, but I'd like to have a command line to invoke in a shell script...)
Enzo
