I would like publish.php (Cookbook/PublishWikiTrail) to display the page titles rather than the page names of the pages published. How can I do that? Many thanks in advance! Best, Hans