User talk:Vanished user 3.1415926535897932384626433

Deceased?
There has been a rename request stating that the user is deceased. Firstly, please let me extend my condolences to his family and friends. Prior to renaming, would you instead prefer to follow the process at Deceased Wikipedians and Deceased Wikipedians/Guidelines? Yes or no, please respond here and we will either rename or not as you request. For the time being I have fully-protected the user page to prevent vandalim, but will follow any requests of the family who has the proper login credentials. Thank you. -- Avi (talk) 04:58, 30 November 2022 (UTC)
 * Also, you may wish to use instead of Retired. -- Avi (talk) 05:04, 30 November 2022 (UTC)
 * Thank you. I made the change from retired to deceased on the talk page but cannot do it on the user page, presumably because you have fully-protected it. EoGuy (talk) 16:43, 30 November 2022 (UTC)
 * Yes, and thank you for your condolences. I don't know what that process is, but I can look it up. EoGuy (talk) 16:42, 30 November 2022 (UTC)
 * Also, the user (my brother) got an email saying "‪GreenC‬ left a message on your talk page" but I don't see it... I only see the messages from Avi. EoGuy (talk) 16:45, 30 November 2022 (UTC)
 * Also, I seem to remember that yesterday there were lots of posts on this talk page. Today I don't see them. I am not sure why. EoGuy (talk) 16:50, 30 November 2022 (UTC)
 * Wow. I was trying to follow the simple suggestions at https://www.wikihow.com/Delete-Your-Wikipedia-Account, but these guidelines are a lot more complicated. I don't even know how to do everything they suggest. Any help you can offer would be appreciated. EoGuy (talk) 16:56, 30 November 2022 (UTC)
 * FYI: I made the above posts logged in as my brother, but this is "the real me". WhiteMarlin (talk) 17:08, 30 November 2022 (UTC)
 * I archived the page so as to focus on this conversation. The discussions are all at User talk:EoGuy/Archive 1. I can restore them here, but if you want this account well and truly gone, it shouldn't matter. I understand that now he family's desire is not to leave this page in his memory but to rename and hopefully let the deceased rest in peace from any Wikipedia drama. I will process the name change and suppress redirects. Thank you. -- Avi (talk) 19:08, 30 November 2022 (UTC)
 * Name change has been processed and the user pages have been deleted. Only this talk page will remain. Thank you. -- Avi (talk) 21:02, 30 November 2022 (UTC)
 * Perfect. Thank you. WhiteMarlin (talk) 21:05, 30 November 2022 (UTC)