Minifies hoverdir.js