A new version of Hover is available. Besides some internal changes the main enhancement is the option to write all needed javascript to a file.