All right, last post on this topic, hopefully.

[krait]

Poll #10077 Last Renaming Poll

Open to: Access List, detailed results viewable to: All, participants: 13

View Respondents

Of the two, which name is best?

View Answers

Krait
8 (61.5%)

Jararaca
5 (38.5%)

(New people who are curious: see this post if you want my rambling about the options!)

Comments

[spaceoperadiva]

The thing I like about flipping a coin in these circumstances is that if you feel disappointed with the outcome of the coin flip, you'll know that you really did have a secret preference for the other choice.

[krait]

Heh. My problem isn't that I'm disappointed with the outcome of the coin flip; it's that which outcome I'm disappointed with varies according to when the coinflip is performed! Sometimes I favour Krait, sometimes Jararaca. Occasionally I consider saying 'screw it' and going back to Oddplaces rather than choose.