Hexagon puzzle

Diego Rattaggi posed a puzzle on 8 July 2020. Check it out here. Given the length of the red path, how long is each side of the hexagon? Explore by playing the applet and/or moving the green points ...