In the europe file, regarding Zone Asia/Vladivostok, in the line shown below, is “VLA%sST” a typo?  Should it not be “VLA%sT”?

                                                9:00       Russia   VLA%sST              1992 Jan 19 2:00s

Hank W.