@hko There have been a few useful comments hidden in the pile, but those two were not high-signal.