Ask HN: What Happened to Bash.org?

Hey HN, it seems like https://bash.org/ is down and not coming up again. Does anyone know what happened to it? This is the only place I could think of asking about it. If they are missing man-power or money to continue hosting it, I'm willing to help!