[tz] Asia/Riyadh TZ abbreviation "+03"?

Aug. 22, 2025


      Wouldn’t this be better defined as "AST" for Arabia Standard Time per 
https://24timezones.com/Riyadh/time?

Peter Chamberlin