Re: [math-fun] Maxvol regular n-simplex inscribed in an n-cube, and "constant weight Hadamard" conjecture