Got it!

Although it took the idiot method.

Since I could not find the correct button, the "Reset to Defaults" button in Prefrences did the trick.

New Question:

About Plug-ins: upon startup after the Reset to Defaults, many plug-ins are now disabled.

Is this normal?

How to get them back?

Thank you in advance.