Oh, this paragraph somehow escaped my attention 😯 Big thanks for pointing out!

Yeah, thanks, that’s pretty much it! Except we cannot really make days of the week get locked to the days of our year because 365 is not divisible by 7, and we’re adding 1 day to February every 4th year on top of that.

Ok, I’ve rephrased the edit section once more

Well, the question is not about the origin and sequence of weekday names, but about the first day in history of uninterrupted count of 7-day cycles which leads to today’s state of the week. Added this to the post.

Yeah, it is so cozy, yet involving especially when you tackle acceleration by drifting and learn map shortcuts