It seems that I am unable to disable rdiscount extension by adding the following lines:
Am I missing something, or this is a problem? Thanks!
What you wrote above is the default. I can spend more time on this later but no extensions is the default.