Rename noweb refs for ops.