Sébastien Wilmet authored Jul 29, 2022 and Christian Hergert committed Jul 30, 2022

This reverts commit 452af6eb.

No longer needed, latex.lang doesn't use it anymore, it was added to
latex.lang by mistake.

Other reasons include:
- Adding things to def.lang should be done with caution, because any
  other lang file can depend on it and it can be hard to remove
  afterwards. There can also be external lang files. I don't think
  def.lang is part of the API "contract" of GSV, but still.

- Normal (general) text should not be highlighted in the first place.
  The style schemes are there for changing the style/color of normal
  text.