rename properties.js jsproperties.js. It's need for having the help file opening when alt-click on the javascript
fix a bug with double-slash in the name
fix some issues with span.paths.requests