| High-Speed External Downloads | Speed | Downloads | Health |
| karel.iso | 2908 kb/s | 12584 |  |
| [Extra quality]karel | 2373 kb/s | 4537 | |
| [Hot release]-karel | 2829 kb/s | 5362 | |
| karel | 2949 kb/s | 12297 | |
| High-Speed External Downloads | Speed | Downloads | Health |
| karel.iso | 2908 kb/s | 12584 | |
| [Extra quality]karel | 2373 kb/s | 4537 | |
| [Hot release]-karel | 2829 kb/s | 5362 | |
| karel | 2949 kb/s | 12297 | |