Precisely. This aspect of reporting ticks me off every time. That judge should be named, shamed, replaced.
Who judges the judges ?
If a judge were to go easy on a criminal and said criminal goes on to commit yet another crime, often violent, what recourse does the citizenry have against this judge ?
How many wounds can the judge and their criminal friends inflict on the citizens seems to be the end game.