Looks like @jmfriedman2017 hasn't received any replies!