Where are all those disabled extensions?

Hi All,

Came across a Windows machine with a lot of junkware.
one of them took over Firefox.

After cleaning up his computer, Firefox had a bunch
of disabled extension in it. I renamed his profile,
erased "local settings/application data/Mozilla",
and erased "program files/Mozilla".

The stinkers were still there after the new profile
was created. Were are these stinkers? By any chance
are these fragments left over in prefs.js?

Many thanks,
-T