+ * Add a new %destsources hash, which maps between a destination file and
+ the source page used to create it, ie it's the reverse of %renderedfiles.
+ * Use %destsources in htmllink and urlto for 20-50% speedup. Thanks
+ Josh Triplett for the idea.