News in 45.0, 2023-06-23
------------------------
* Remove synctex plugin (see the git commit for the details).
* Some misc maintenance.