See also the ORConf talk on eqsat from a few days ago: https://youtube.com/watch?v=gybuWGEXC9c