Vanilla 1.1.9 is a product of Lussumo. More Information: Documentation, Community Support.
(I seem to remember another post of similar nature from a few months ago; if it is not appropriate I ask that the moderators remove the post.)
I just heard through the grapevine that we've unfortunately lost user 9062 to the inevitable ebb of time. Since many members of MO are acquainted with him, I hope it is not outre to share this sad news here.
I just found out through an email to the topology/geometry group at my university. It is indeed very sad. I did not know him personally. His contributions to MO never failed to impress me fot the deep insight they revealed and, not wishing to offend anyone, he is so far unique in this regard. It is the second MOer I know of who has passed away "in action", so to speak, and I wonder whether we should be thinking of honouring them somehow in the site.
I have requested that the MO question, "Wikipedia story about Bill Thurston’s death," be deleted. I feel it does not set the dignified tone with which this community wants to remember the great man's passing.
^Seconded.
Joseph, I have closed the question. Other users had also expressed similar concerns.
We are all saddened by this news and we all have our own ways to mourn. I urge users to be mindful of each other's sensitivities and avoid postings that may be misinterpreted by others.
@François: Thank you.
José: I was thinking the same thing (with regards to your last sentence). Facebook allows the profiles of users who have passed away to be turned into memorial pages and I wonder if it might not be possible to do something vaguely similar here...
In regard to Igor's proposal, I would suggest that a simple change in the user name to Bill Thurston (1946-2012) would be both clear and informative.
+1 JDH. Ditto for Torsten E?
I don't really see the problem with making such a user name change whenever it is requested and it can be reasonably verified by the moderators that the user has actually passed away. This wouldn't even bump a question, and this change by its nature would alert other users in comment threads and so on that they should no longer expect to interact further on MO with that user.
JDH's proposal sounds great to me (whereas I'd avoid nomination and voting for this).
What about adding the text "Bill Thurston (1946-2012)" to the top of the user profile, rather than modifying the user name? It seems weird for the signature of every post to indicate that the user has passed away.
I also like Anton's suggestion. And as with JDH's suggestion, it would be reasonable to apply this in other cases in which the moderators can verify that it is appropriate.
I like Anton's proposal in this case. But perhaps we need not spend a lot of time debating future situations, since I'm not sure that any of these ideas will be possible after the currently-in-the-works move to StackExchange 2.0...
I've added the bits of text to Bill Thurston's and Torsten Ekedahl's user profiles.
@Anton: A very nice solution; thank you. I am pleased that Bill's remarkable statement remains intact! Especially this sentence:
"I'm happy when I can admit, at least to myself, that my thinking is muddled, and I try to overcome the embarassment that I might reveal ignorance or confusion."
---from one of the most insightful humans on the planet!
@Anton: Wouldn't it also be a good idea to delete Bill Thurston's date of birth (not publically shown as such) from his profile? I'm worried the software will start to display "Age 66" in two months.
@Emil J: done.
1 to 26 of 26