hello i've got curious what elephant backends do people use, so i've made an online poll: http://www.misterpoll.com/polls/373489 it has some other interesting questions too. please vote if you're using elephant, or even if you're only evaluating it. thanks.