add highlight
remove obsolete users.js
add another highlight.js