IDEA plugin for collaborative file editing