any idea where pool.gridcoin.us went?  i had mined a bunch of coins on there, but it's been unreachable for about 2 days now.