Release notes at <https://github.com/graph-algorithms/edge-addition-planarity-suite/releases/tag/Version_3.0.1.1>.