Looks like @benhamini hasn't received any replies!