IntelliJ IDEA plugin which allows to copy editor content as rich text