Update the link to Sodium-Idris, via mwarning@