> If western Florida switches to permanent UTC-05
> then it would get a separate Zone
> (presumably named America/Pensacola)
> as a companion to America/Miami.

Per...
https://www.flsenate.gov/Session/Bill/2018/1013/BillText/er/PDF

...it is the intent of the Legislature that daylight saving time shall be the year-round standard time of the entire state and all of its political subdivisions.

(Seemingly resolving the matter of western Florida, but complicating the matter of whether the new time should be called daylight or standard.)

Note also: "This act shall take effect July 1, 2018."

@dashdashado

On Mon, Mar 12, 2018 at 6:37 PM, Paul Eggert <eggert@cs.ucla.edu> wrote:

On 03/12/2018 12:01 AM, Phake Nick wrote:

As a result, if the proposal get through, that part of FL should also become a tz region of its own in the timezone database?

Yes, good point. If western Florida switches to permanent UTC-05 then it would get a separate Zone (presumably named America/Pensacola) as a companion to America/Miami.