> On Jul 8, 2024, at 12:58, David G. Johnston <david(dot)g(dot)johnston(at)gmail(dot)com> wrote:> That scenario is allowed but provides no useful in-server behavior.
That was my conclusion as well. Thanks!