Rename PPGtk in documentation