v7.1.3

chore: bump version to 7.1.2. (#1410)

chore: bump version to 7.1.1 (#1401)

chore: bump version to 7.1.0 (#1391)

chore: Release version 7.0.1 (#1388)

Updated CHANGELOG.md, bumped the version to 7.0.0 (#1379)

Fix documentation errors (#1269)

Ensure backward compatible testing of types (#1266)

Replace trim() with a version-compatible alternative. (#1265)

Change highlighting of bookmarks in the tree. (#1261)