Dilemma! Cut this tree root or cut the Everedge?

Ok, so I am currently installing Everedge between a new border and the grass, incorporating a large 4m diameter circle around a mature olive tree. I am very tempted to sever this inconvenient root, as cutting everedge is a b*stard, not recommended by the manufacturer and would spoil the run. If I had to cut the everedge a cut-out around the root rather than right through would be better, but very tricky to do.
Here’s a photo of the root (approx 2cm dia), nearly 2m from the tree. My question is, would the tree survive the severing of this root? Would it destabilise it? Help, your opinions please!

Here’s a photo of the root (approx 2cm dia), nearly 2m from the tree. My question is, would the tree survive the severing of this root? Would it destabilise it? Help, your opinions please!

0
Posts
The trees (unfortunately) seem to be none the worse for the experience.
They're the birch trees about 3m from our house which shed seeds, leaves, twigs and other debris into the house whenever we leave the back door or bathroom window open. I would not have been upset if they had (unexpectedly 😉🤭) died.
If this is the only root in the whole 2m radius, I'd certainly not worry, if you've just started clearing and found it, maybe clear the whole circle then decide.
The tree has been pollarded at some point in the past, has a fat stubby trunk of around 70cm girth and about 2m high, then another 2m of fairly wispy branches.
Thanks for your advice and encouragement to wield the loppers all.