message: Remove PSTricks Pannel
diff: <div class="tab">
  <button class="tablinks active" onclick="openTab(event, 'Symbols')">Symbols</button>
  - <button class="tablinks" onclick="openTab(event, 'PSTricks')">PSTricks</button>
  <button class="tablinks" onclick="openTab(event, 'Tikz')">Tikz</button>
  </div>
  <div class="grid"></div>
  </div>
  - <div id="PSTricks" class="tabcontent">
  - <h3>PSTricks</h3>
  - Common PSTricks Here
  - </div>
  -
  <div id="Tikz" class="tabcontent">
  <h3>General</h3>
  <div>
  