pygtksourceview: moved to -other