Don't really care what the devs say on the matter. Healer not contributing to DPS and unwilling to cooperate when asked to = time to find a replacement. Perhaps even with an actual DPS if the remaining healer is up to the task of solo healing.