Various torproject services down
This ticket is possibly related to the issue: https://trac.torproject.org/projects/tor/ticket/25041.
Looking at when some people using the iranicum.torproject.org box went down, it seems like some services went down since ~04:40 UTC.
What's particularly worrying is that eugeni.torproject.org is also down, which is the host running the @torproject.org mail server.
With a quick and dirty shell script (and the data from https://db.torproject.org/machines.cgi), it seems like the affected machines are:
```
build-arm-01.torproject.org
build-arm-02.torproject.org
build-arm-03.torproject.org
carinatum.torproject.org
chamaemoly.torproject.org
chiwui.torproject.org
colchicifolium.torproject.org
eugeni.torproject.org
feddei.torproject.org
gayi.torproject.org
hedgei.torproject.org
henryi.torproject.org
hyalinum.torproject.org
iranicum.torproject.org
listera.torproject.org
materculae.torproject.org
perdulce.torproject.org
saxatile.torproject.org
staticiforme.torproject.org
textile.torproject.org
togashii.torproject.org
weissii.torproject.org
winklerianum.torproject.org
woronowii.torproject.org
```
Here the output of the script that includes the resolved address for the affected hosts: http://paste.debian.net/1007443/
issue