small STOP tweak; added karma case insensitivity and edit-ignore