changed HyperSpec.user.js from symbolic to hard link