I usually only see it named hotprint.nl when using Chrome (or a Chrome-based browser). I’ve never seen it with Firefox, but to be honest I’m not sure what causes the difference. I do know that, if you create a Suitelet to generate a PDF, you can name the file whatever you want before returning it. I don’t know of a way without scripting, though.