n0mesorah, thanks a lot. I did not know that Sefaria’s gemora is using R Steinsaltz! Woe to me for not recognizing it … I think I looked up what Seforia sources are before 2017. I don’t recall whether they had Bavli then at all. Also, they are using mathematician’s Heinrich Guggenheimer 2015 translation for Yerushalmi.
Edited