Comment by lousken

The biggest problem with user.js is the documentation, or rather lack thereof. Instead, mozilla should provide full documentation on how this file works and mainly which fuctions are available (FULL LIST) and what they do. In general, the config in firefox is a hot mess and user.js is not the problem.