Trademarks
DjVu is a registered trademark of LizardTech, Inc.