Merge profile docs followup (#12417) from 3.1