Public bug reported:
I had opened monodevelop for a few minutes, closed it, opened mono-doc,
and closed it when this bug cropped up.
** Affects: mono (Ubuntu)
Importance: Untriaged
Status: Unconfirmed
--
Crash when closing mono-doc
https://launchpad.net/bugs/60668