I was sad to learn about this. My thoughts and prayers go out to Rainer and his family. Edit: I found out that there's an earlier submission: https://news.ycom

I was sad to learn about this. My thoughts and prayers go out to Rainer and his family. Edit: I found out that there's an earlier submission: https://news.ycombinator.com/item?id=38070167 https://news.ycombinator.com/item?id=38070167