Isn't ERSC aiming to be for jj what GitHub was for git? In which case, this would be great news for jj.