Loogle: update mathlib version

Stream: general

[Michael Rothgang]

For me, loogle is serving a two-week-old copy of mathlib. What's your plan regarding updating this?

By the way, thanks for creating loogle. There's a learning curve about the syntax, but this is really useful!

[Joachim Breitner]

I’ll kick another deployment. Updating regularly is of course something we want eventually, but maybe that will be tied in with other infrastructure changes, such as moving to a larger machine.

[Michael Rothgang]

Makes sense; thank you!

[Joachim Breitner]

Also, by letting it fall behind I make people nudge me, and that tells me something about how they use it :)

[Yury G. Kudryashov]

Could you please update it again?

[Joachim Breitner]

Done!