[sr-dev] git:3.1: diversion: user anchor_lump2 to insert diversion header