Is it just me, or has bash.org been down for a while?