@dr2chase thanks for looking and linking! (i had found only one of those two, and i suppose it's fair to mark these comments as rather unfortunate contributions to the discussion)
@hko There have been a few useful comments hidden in the pile, but those two were not high-signal.
Gregory's Server
@hko There have been a few useful comments hidden in the pile, but those two were not high-signal.