documentation of 8.3.1 change to user-specific configuration file #3158