point MagLev link to MagLev's homepage rather than repo