Williams Pipeline Saga Ends, But the Fight to Phase Out Gas