If he were normal he’d probably have ended up working at MS, IBM, Oracle.
Of course if his behavior bothers you then fork it and rewrite his work and maintain it then you have a laundered version of the same thing but you probably don’t care that much about his behavior to do that so it’s pointless to bring up.