Trying to push sources & symbols to symbolsource.org again