What is UserSpecific.options
UserSpecific.options is a special file store configuration for override default behavior of the application. The configuration specify here are either override application behavior, or saving administrator’s effort on distribute some general configuration to users. Options are define in name=value pair with one option per line. This file is stored under VisualParadigm setting folder.