[NTG-context] Re: Disappearing mathqed