The official PDF of the Mueller report has been updated in a subtle but important way