Remove Vigilance theme. See #838