[tldoc] tl17 doc: synctex news

[Karl Berry]

Unfortunately, I've been informed (thanks Herb) that SyncTeX's temporary
file name has changed. This can affect build processes trying to clean
temp files, so I think it's important enough to put in the doc. I added
the following paragraph (and added a "the" to the item about Dvips).

I dearly hope there will be no more changes to the doc. Thanks/sorry, Karl.

--- texlive-en.tex	(revision 44314)
+++ texlive-en.tex	(working copy)
@@ -3613,7 +3613,7 @@
 Xe\TeX: Unicode/OpenType math now based on HarfBuzz's MATH table support;
 some bug fixes.
 
-Dvips: Make last papersize special win, for consistency with
+Dvips: Make the last papersize special win, for consistency with
 \code{dvipdfmx} and package expectations; the \code{-L0} option (\code{L0}
 config setting) restores the previous behavior of the first special
 winning.
@@ -3650,6 +3650,11 @@
 a given profile; new command \code{P} to explicitly save a profile; new
 profile variable names (but previous ones are still accepted).
 
+Sync\TeX: the temporary file name now looks like
+\code{foo.synctex(busy)}, intead of \code{foo.synctex.gz(busy)}
+(no~\code{.gz}). Front ends and build systems that want to remove temp
+files may need adjusting.
+
 Other utilities: \code{texosquery-jre8} is a new cross-platform program
 for retrieving locale and other OS information from a \TeX\ document; it
 is included in |shell_escape_commands| by default for restricted