Hi, this is just a small proposal, so I'm not sure where the correct location is to post it. I'll try here.
The Intl.DateTimeFormat constructor defines a timeZoneName options field, which
lets the user define the way the timezone is formatted when serializing a date instance.
The 2 possible options are:
at this stage, your message would have been better posted in the "ideas" forum. An admin will probably move it there.
The "numeric-short" format is fine as an input format, but for output you can't express fractional time zones. The "short" format actually expands to the four digits versions in that case.