an option to disable rich documentation

it is needed for editor with less fancy markdown renderer

Author: randy3k

R/workspace.R

@@ -154,8 +154,9 @@ Workspace <- R6::R6Class("Workspace",
                 } else {
                     result <- NULL
 
-                    if (requireNamespace("rmarkdown", quietly = TRUE) &&
-                        rmarkdown::pandoc_available()) {
+                    if (isTRUE(getOption("languageserver.rich_documentation", TRUE)) &&
+                            requireNamespace("rmarkdown", quietly = TRUE) &&
+                            rmarkdown::pandoc_available()) {
                         html <- enc2utf8(repr::repr_html(hfile))
                         # Make header look prettier:
                         pattern <- "<table.*?<td>(.*?)\\s*{(.*?)}<\\/td>.*?<\\/table>\\n*<h2>\\s*(.*?)\\s*<\\/h2>"