OP here. Thank you very much for using it, and for the thoughtful comment.