That's easy to check even with just ctrl+f: the last six digits are 422990 which occur 8 times throughout that string. Hence, we could remove at least the last digit without losing anything.

It certainly does not, see this comment: https://news.ycombinator.com/item?id=13868201

You can remove some digits and get the same result as today (see https://news.ycombinator.com/item?id=13867324), but as it lack so many situations as it does I would not say so.