distinguish local/universal settings
change filename
no longer needed
remove illegal option
no longer needed