For some content the ipfs gateway times out. I suggest we use the MaRDI gateway if the browser reports it does not support ipfs:// links