DjVu viewers, encoders, browser plugin, and utilities
