That's a shame, because Jakob hasn't won WC gold in his main event. His losses are forever. His few records, on the other hand, will be taken away - as you say.
It's a shame in your loser mind. Jakob is an Olympic champion in his main event. His wins are forever. His indoor wins, his European wins, his XC wins, his 1500m wins, his 5000m wins, are forever.
Remeber next time you talk about Clarke or Ryun, that their losses are forever. Their few records, on the other hand, have all been taken away.