in response to ref rpt, adding a completely redundant proof for fiber bundle thm; still think about general map case
notes for response to referee report- We incorporated all the suggestions of the referee, with the following exceptions...- RR7: ...- (?) include blob_changes_v3 (?)