[throwawaysnipe]

A biography is not a hagiography. If Gruber wants the latter, he can write one. He already has a lot of material for it.