That cut-off sentence was left over from my editor, and something I forgot to
remove before posting. Sorry - nothing there beyond that.