[Pki-devel] [PATCH] - Correct section headings in user deployment configuration file