Bug#994162: RM: gtksourceview2 -- ROM; unmaintained library

[Jeremy Bicha]

Control: tags -1 -moreinfo
Control: block -1 by 994161
Control: retitle -1 RM: gtksourceview2 -- ROM; unmaintained library

I went ahead and filed a removal bug for matita so dropping the moreinfo flag.

Thank you,
Jeremy Bicha