minor edits to gpython-tools index files