Move from GitHub Pages to Mina deployment on mu.