modified:   Everything.agda
	renamed:    Categories/README.md -> README.md