Thank you! Maybe I should mention that it is CC-BY-SA licensed, so the project can use it for free if they like. But I am pretty sure the current logo serves th

Thank you! Maybe I should mention that it is CC-BY-SA licensed, so the project can use it for free if they like. But I am pretty sure the current logo serves the project just fine, and changing it is understandably a low priority for a non-consumer facing project.