If news organizations are listing victims the odds of a family member finding out via a reddit comment is pretty slim. I agree with the sentiment but, eventually the names will be released. Remembering them instead of the shooter is what’s needed.