[tz] Antarctic research base Vostok local time

[Paul Eggert]

On 2023-12-20 14:47, Brian Inglis via tz wrote:
> This might mean that we define Mirny UTC+7 and Progress UTC+5 rules 
> and/or zones with Vostok switching between them.

Given that we mishandled Vostok for decades, I'm not optimistic about 
taking on more work in that area. Evidently it's of limited utility. 
Perhaps we should let sleeping dogs lie.