That first link doesn’t require you to download anything. [Tool] ChoiceScript Development Environment is web-based.