Downloading new IDEs

Ok, I think I have understood. I will download 0022 later.

Thanks,
JanD