deleted submodule HoloEverywhere