python-pygtksourceview: catch up with sourceview renaming