Adding BDKGeometry v1.3.0, fully green-linted.