Re: mg docs ownership

[Mark Lumsden]

> Maybe we should just not install it? Mark?

A couple of years ago when the tutorial started being installed there
were no dissenting voices, so unless there are objections, I'd carry
on doing that. And Martin's diff makes sense I think. 

Mark