Add suggestions for smartparens related configuration

README.org

@@ -75,6 +75,20 @@ using ~vdm-comint-command~ (for example, if you do not wish to use
 flycheck-vdm). By default ~vdm-comint-command~ is preferred over
 ~flycheck-vdm-tool-jar-path~ when the former is set (i.e. not nil).
 
+By default the [[https://github.com/Fuco1/smartparens][smartparens]
+package treats ~`~ as a pair, which is inconvenient in ~vdm-mode~ and
+~vdm-comint-mode~. If you are using this package and want to prevent
+this behaviour then add the following to your configuration:
+
+#+BEGIN_SRC elisp
+;; Inconvenient to treat ` as a pair in vdm-mode and vdm-comint-mode
+(eval-after-load 'smartparens
+  '(sp-local-pair #'vdm-mode "`" nil :actions nil))
+
+(eval-after-load 'smartparens
+  '(sp-local-pair #'vdm-comint-mode "`" nil :actions nil))
+#+END_SRC
+
 * Usage
 
 ** Recognised file extensions