I really hope he'll stop tolerating that crazy person or waiting for something sufficiently outrageous to happen. Assuming nothing changed since that 2018 comment [1], nothing will change for at least a few more years.

Suing for libel and making a formal complaint with Berkeley would be public service [2] at this point.

[1]: https://news.ycombinator.com/item?id=17164707

[2]: not sure "public" is the correct word here, sorry