# Remove Karel's space from the index in order to take it completely down some day.
User-agent: *
Disallow: /karel/