To be fair, longstanding journalistic convention is that proper names are only to be used in headlines if the person in question is sufficiently well-known, hence “Florida man” and “area teen,” etc.
Who decides what constitutes “sufficiently well-known” is another matter entirely.
