404 in docs due to algebra/core moves

Stream: general

[Ryan Lahfa]

https://leanprover-community.github.io/mathlib_docs/core/init/algebra/group.html is a 404 now from a previous link (while searching for mul_left_cancel)

[Kenny Lau]

from what link?

[Ryan Lahfa]

@Kenny Lau search for "mul_left_cancel" and click on the core algebra link

[Bryan Gin-ge Chen]

The built-in google search is often quite out of date. @Rob Lewis Is there any way to trigger an update?

[Ryan Lahfa]

Ah, so that's Google cache

[Ryan Lahfa]

image.png

[Ryan Lahfa]

FWIW

[Kenny Lau]

yeah that looks like Google's problem to me

[Rob Lewis]

Bryan Gin-ge Chen said:

The built-in google search is often quite out of date. Rob Lewis Is there any way to trigger an update?

Doesn't look like it. It's read the site map today so I think it'll get there on its own soon enough. Just saw another upward trending graph when I logged into the search console:
image.png