Writerside - un nouvel environnement de rédaction de documentation technique, par JetBrains.