Writerside - a free IntelliJ Platform plugin for documentation