DjVu: use page titles as page labels