Looks like @davidwachsman hasn't received any replies!