Comment by @grothendieck • Hey

I am so glad you are here!