Mention all JetBrains IDEA editors on the editors page.

Closes #792