add a dedicated page for linking to IDE and editor resources

[SethTisue]

trafficstars

this came up over at #1021, where I wrote:

The front page could link to a dedicated page for listing IDE and editor support, and then there'd be room for all sorts of stuff on that page, including info on Metals and the Dotty IDE, info on plugins and modes for various editors, and a link to SlickEdit, too (clearly marked as commercial).

This would require some work: a bit of design work, and also some content-gathering. (The initial version of the page wouldn't need to be 100% complete, but it would need to have the basics in place.)

[SethTisue]

/cc @jvican @olafurpg since this is relevant to Metals, @smarter since this is relevant to DottyIDE

[smarter]

since this is relevant to DottyIDE

Is it ? There is currently zero information on using Dotty itself on scala-lang as far as I know, I'm not sure this needs to change. People interested in Dotty shouldn't have any trouble finding https://dotty.epfl.ch/docs/usage/ide-support.html.

[SethTisue]

People interested in Dotty shouldn't have any trouble finding https://dotty.epfl.ch/docs/usage/ide-support.html

okay, but if we add this new page, we might as well include that link, I think

There is currently zero information on using Dotty itself on scala-lang as far as I know

close to zero; there are a number of Dotty links at https://www.scala-lang.org/community/