message: Fix Do not reopen all documentations everytime
  Beware that configuration.get returns a read/write object, which is
  global to the vscode instance.
diff: @@ -12,7 +12,7 @@ export class TeXDoc {
  private runTexdoc(pkg: string) {
  const configuration = vscode.workspace.getConfiguration('latex-workshop')
  const texdocPath = configuration.get('texdoc.path') as string
  - const texdocArgs = configuration.get('texdoc.args') as string[]
  + const texdocArgs = Object.assign([], configuration.get('texdoc.args') as string[])
  texdocArgs.push(pkg)
  const proc = cp.spawn(texdocPath, texdocArgs)
  