Clean up prefs / settings

I fixed up the DevTools prefs / settings a bit.

`discardSystemSource` is no longer needed, as the problem was a solved in a different way later on.
Ah, okay. That was setting was still used in 1.3, so I'll put it back. It was removed in 1.4.