Bug#637680: Not a bug of Monodevelop

[Nicolás López]

I've just realized that it is a bug of the web browser. You can close this
bug report, sorry.