message: Fix unnecessary escape in regex
diff: @@ -142,7 +142,7 @@ export class HoverProvider implements vscode.HoverProvider {
  }
  } catch (e) {
  commands = []
  - const regex = /(\\(?:(?:(?:(?:re)?new|provide)command|DeclareMathOperator)(\*)?{\\[a-zA-Z]+}(?:\[[^\[\]\{\}]*\])*{.*})|\\(?:def\\[a-zA-Z]+(?:#[0-9])*{.*}))/gm
  + const regex = /(\\(?:(?:(?:(?:re)?new|provide)command|DeclareMathOperator)(\*)?{\\[a-zA-Z]+}(?:\[[^[\]{}]*\])*{.*})|\\(?:def\\[a-zA-Z]+(?:#[0-9])*{.*}))/gm
  const noCommentContent = content.replace(/([^\\]|^)%.*$/gm, '$1') // Strip comments
  let result
  do {
  