well there is nothing else you need to do to it:
just copy this:
// This one makes a huge difference. Last value in milliseconds (default is 250)
user_pref("nglayout.initialpaint.delay", 0);
// Enable pipelining:
user_pref("network.http.pipelining", true);
user_pref("network.http.proxy.pipelining", true);
user_pref("network.http.pipelining.maxrequests", 100);
and put that into the blank txt file that you renamed to:
user.js that's it !!! close it & save .