TLDR: Based on the mgbench results, memory usage dropped from gigabytes to a few megabytes, while performance on all shortest paths dropped ~7% -> the decision is to merge because of the significant gain in memory usage while keeping performance high.

[master < Task] PR

• Check, and update documentation if necessary
• Provide the full content or a guide for the final git message

To keep docs changelog up to date, one more thing to do:

• Write a release note here
• Tag someone from docs team in the comments