Update docs about gtksourceview