Comment by Zibulon

Just for the records, Grothendieck maybe "disappeared", but he also died a couple of months ago, it was all over the press...