Как поменять User-Agent в Firefox?

Не изменить plugin-ами, а именно изменить основной, чтобы знать, кто в девичестве был Луноход-1, а кто - Луноход-2.

Это нужно в исходниках менять и править или можно в файлах настроек задать?