"Beauty is in the eye of the beholder," Cause this is an open probem report, I like to nitpick on this: The documenter produces a jump list and includes this line in the of each web page: and genertes the associated file as such. My issue with this: it is not a web page. Is it possible to correctly name the produced file with Javascript code only as "goto.js" and adapt the header inclusion as such?