Given that the name "Guacamoly" caused a bit of confusion on a reddit post, I would very much welcome other name proposals.