Separate out editor support sections #14
Description
Having downloaded Idris 2, users are likely to want to integrate it with their editor of choice. Currently, the editor support is combined across Idris 1 & 2, which does make sense, but breaks the flow of "pre-reqs -> install -> editor support" (which seems more natural imo).
Maybe the Idris 1 download should be its own page entirely?