Abandoned legacy Okular SyncTeX support