g1smd - 9:37 am on Dec 20, 2012 (gmt 0)

A few lines of PHP can read in the XML file and generate a HTML tagged list and the various page elements around it.

Page names are a problem. You'd need to look those up in an array or in a database. In that case, you'd generate both the XML sitemap and the HTML sitemap from that data anyway.