Remove HoloEverywhere support

Implements #1060.