Fix usage help: ".koko" is de facto standard extension for PETOOH code files.