gtk-doc complained that there was no index of symbols for those
versions, but I don't think it's very useful to keep ad vitam aeternam
those "Since:" information. gedit 3 has been released in 2011, 8 years
ago.