Trends for #grothendieck.

(from @fedistats.)

https://fedistats.cc/tags/grothendieck