Mass shooting events like the one that happened July 4 near Chicago typically set off an-all-too-common chain of procedures at tech companies: unearth the attacker’s online presence, capture possibly incriminating posts and quickly shut their accounts.