Render markdown descriptions in settings
Render markdown descriptions in settings

This is described here: https://code.visualstudio.com/api/references/contribution-points#Configuration-property-schema
leanprover/vscode-lean,leanprover/vscode-lean,leanprover/vscode-lean