At the bottom of the last link it says "a full obituary will be published soon". But it seems they've done so now: https://archive.ph/vyxDJ.