It's interesting how y'all say the time without a separator between hours and minutes. So 2000 instead of 20:00. Which in general is fine, it means one character less typing, but it means that I spend some seconds reading "2000" as "the year 2000" instead of "20:00" and being confused
@aescling Don't worry, I already assumed that maybe it's specific to the language or locale
It's just, if I see a number 19XX or 20XX, then I first try to parse that as a year... The
:
prevents that, it clearly marks it as a time