Thank you all for voting.
I hereby benevolently dictate that this is our new logo:
And favicon:
The color #1700b3 is chosen from the color palette suggested by Scott above. For future reference, the other colors from that palette are: #0003ee, #00dac6, #007e87, and #b00036. If we are unhappy with the choice of color, we can still change that.