Comment by @grothendieck • Hey

stinky？