Minor improvements in documentation of SyncTeX.