Rename while.kosa to while.kosa.md