@nedbat @jacobian is this even real? It sounds too crazy to be real.