[Pki-devel] [PATCH] 888 Refactored user_config object in pkiconfig.py.