A salute to the heroes of the Mueller report