Can anyone confirm if artist Roger Raupp has died? Someone has been trying to edit his Wikipedia page asserting that he changed his name to Rudy Didier Rauben and died 12/17/2019 in Bellingham WA. The only source they gave was BoardGameGeek, which is a fine website but since it can be edited...