Ask HN: Why is savannah.gnu.org down so much and what are the alternatives? | Not Hacker News!