Now that holomaze is elsewhere, get rid of it here!