magit.texi: remove obsolete information