That's not a Firefox problem is it? Firefox recently changed something so files are downloaded with the wrong extension and it leads to hjsplit not working properly. A couple of people have commented on this.