Feature Request: Decimal/HH:MM format as user preference

Hi, we love the new decimal format but some users prefer to see and log time in HH:MM. As the decimal format is currently a workspace setting, could a user preference be added to allow individuals to use HH:MM?