Still, none of the names has really stuck with us.
So we're asking you for some help here. If you have some suggestions on what to name the machine, or if you happen to have a strong preference for one of the above: we are all ears. Send us a mail at firstname.lastname@example.org -- if we wind up using your suggestion, you will be handsomely rewarded.
(We were considering putting the matter to a public vote. But after the Boaty McBoatyface fiasco a few years back, we don't trust the internet anymore. Although, come to think of it, "Roasty McRoastface" does have a nice ring to it...)
That's all for now everyone. Enjoy your weekend. Keep drinking great coffee.