Ignoring sharejs-codio